Informatyka MIMUW

Slajdy używane na wykładach (wersję językową rozpoznaje się po języku opisu). Domyślny format to pdf.
Slides used during lectures (language version can be determined by the language of description). The default format is pdf.

Załącznik	Wielkość
Logika pierwszego rzędu, składnia i semantyka	733.61 KB
First-order logic, syntax and semantics	725.56 KB
Sposoby użycia logiki pierwszego rzędu	438.86 KB
How to use first-order logic	442.27 KB
Entscheidungsproblem, czyli nierozstrzygalność tautologii	231.24 KB
Entscheidungsproblem, or undecidability of tautologies	253.43 KB
Twierdzenie Trachtenbrota, czyli nierozstrzygalność skończonej spełnialności (PowerPoint)	1.15 MB
Trakhtenbrot's Theorem, or undecidability of finite satisfiability (PowerPoint)	1.11 MB
Twierdzenie Fraisse, gra Eherenfeuchta	808.05 KB
Fraisse's Theorem, Eherenfeucht game	792.81 KB