Modern semantics 2500-EN-CS-L-02

(po angielsku) Students should be familiar with the basics of set theory, propositional logic and predicate (‘first order’) logic at the level of chapters 2–4 of the course textbook, available here: https://eecoppock.info/bootcamp/semantics-boot-camp.pdf. (We will quickly go through these chapters, but students without sufficient previous exposure to logic may need to study them more carefully.)

Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb:

• Strona przedmiotu 2500-EN-CS-L-02 w USOSweb