Logical aspects of Computer Science 1000-I2LAI

(in Polish) 30 godz. – wykład 5 godz. - egzamin 30 godz. - ćwiczenia 50 godz. - praca własna - bieżące przygotowanie do zajęć, studiowanie literatury, 35 godz. praca własna - przygotowanie do egzaminu RAZEM: 150 godz. 6 pkt. ECTS

(in Polish) Po ukończeniu kursu student(ka) osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku informatyka - studia licencjackie i inżynierskie): W1: ma uporządkowaną wiedzę ogólną w zakresie podstawowych działów logiki matematycznej, w tym przede wszystkim logiki pierwszego rzędu, logiki modalnej i logiki intuicjonistycznej - K_W01; W2: rozumie rolę i znaczenie formalizmu matematycznego w podstawach informatyki - K_W01 W3: rozumie budowę zaawansowanych teorii matematycznych, potrafi użyć formalizmu matematycznego do budowy i analizy prostych modeli matematycznych w innych dziedzinach - K_W01

(in Polish) Po ukończeniu kursu student(ka) osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku informatyka - studia licencjackie i inżynierskie): U1: umie stosować oraz przedstawiać w mowie i na piśmie podstawowe metody logiki pierwszego rzędu, logiki modalnej i logiki intuicjonistycznej - K_U01, K_U02, K_U03

(in Polish) Po ukończeniu kursu student(ka) osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku informatyka - studia licencjackie i inżynierskie): K1: W zrozumiały sposób przekazuje innym swoje myśli i właściwie posługuje się terminologią fachową. Nawiązuje kontakt w obrębie grupy celem przyswojenia trudniejszych zagadnień lub rozwiązania złożonych problemów. swojej dziedziny - K_K02 K2: rozumie potrzebę ciągłego doskonalenia się - K_K03

(in Polish) Metody podające – wykład konwersatoryjny Metody poszukujące – ćwiczeniowa

- informative (conventional) lecture

- laboratory
- presentation of a paper
- practical

elective course

(in Polish) Podstawowa wiedza w zakresie pierwszego roku studiów informatycznych lub matematycznych.

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

• Description of 1000-I2LAI in USOSweb