Seminář pro studenty se zájmem o logiku a její aplikace v informatice.
Poslední úprava: Hric Jan, RNDr. (19.05.2025)
Seminar for students interested in logic and its applications in computer science.
Poslední úprava: Hric Jan, RNDr. (19.05.2025)
Podmínky zakončení předmětu -
Zápočet bude udělen za aktivní účast na semináři zahrnující vlastní referát ze zadaného zdroje.
Poslední úprava: Hric Jan, RNDr. (19.05.2025)
Credit will be awarded for active participation in the seminar, including a presentation of assigned material.
Poslední úprava: Hric Jan, RNDr. (19.05.2025)
Sylabus -
Jde o referativní seminář, jehož cílem je rozšířit a prohloubit znalosti z oblasti logiky a jejích aplikací v informatice. Seminář nemá pevný sylabus, aktuální téma je vybíráno s ohledem na zájmy účastníků a vývoj v oboru. Předmět je vhodný pro studenty magisterského a doktorského studia. Lze zapisovat opakovaně.
Poslední úprava: Hric Jan, RNDr. (19.05.2025)
This is a referative seminar aimed at broadening and deepening knowledge in the field of logic and its applications in computer science. The seminar does not follow a fixed syllabus; the current topic is selected with regard to the participants' interests and developments in the field. The course is suitable for master's and doctoral students. Repeated enrollment is possible.
