(in Polish) Języki, automaty i obliczenia 1000-2D23JAO
This course has not yet been described...
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: