(in Polish) Języki, automaty i obliczenia 1000-2D23JAO
We discuss results concerning finite automata with various extensions (stack, counters, data from an infinite alphabet, tapes etc), in other words computing models. Automata can operate on finite words, infinite words, trees and even graphs. Sometimes they recognize certain classes of structures (words, trees, or others), sometimes they output a number or another structure. We are also interested in applying automata theory to other disciplines, e.g. logic. Many theorems concerning logic rely on elegant techniques from the automata theory. Another example are infinite games, which naturally occur while investigating automata. Automata theory is also closely related to the complexity theory: a Turing Machine is essentially a two-way automaton with an infinite tape. Sometimes we also discuss other interesting topics from theoretical computer science that do not have direct connections with automata, logic and computations on Turing Machines.
On the seminar typically students present topics suggested by the coordinators. Usually it requires reading a journal or a conference paper and preparing slides with the help of on the organisers.
Type of course
Course coordinators
Term 2024: | Term 2023: |
Learning outcomes
Knowledge
Student learns about research problems in the current studies in the area of logic in computer science. She or he should start her/his own supervised research, which will become the basis of her/his Master Thesis.
Skills
Student can
1. read scientific papers with understanding,
2. communicate scientific results to others in a clear and attractive way,
3. listen in an attentive manner and ask questions to speakers.
Competence
Students gets knowledge about research methodology in the area of logic in computer science. She or he gets a general knowledge about various publication venues and their scientific prestige.
Assessment criteria
The required condition is a careful preparation and presentation of at least one lecture during a semester, and---depending on the year of studies--the acceptance of a subject of the Master Thesis, or submission of the thesis itself.
Bibliography
Modern scientific literature of the subject, including scientific journals and data from Internet. Details are provided by the lecturers at the first meeting.
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: