Wykład Podstawy matematyki i informatyki
studia inżynierskie, informatyka, PPT
Mirosław Kutyłowski
Wyniki egzaminu są w gablocie na dole w C-11 (obok barku)
Tu ich nie będzie. Wpisy we wtorek 14-17 w sali 211 i p. 215
Terminy:
- wykład: środa, 9:15-11:00,
s. 204, budynek A-1
- ćwiczenia:
- czwartek, 7:30-9:00, C-3, s.19, W. Połowczuk
- środa, 15:15-16:55, C-3, s.19, dr M.Zakrzewski
- środa, 15:15-16:55, C-4, s.35, P. Szajowski
- wtorek, 7:30-9:00, C-7, s.202, dr M.Zakrzewski
- egzamin: wykład kończy się egzaminem,
I termin: 18.06, 7:30-9:00, w sali 301 w D1
poprawka: 25.06, s. 205 w C1, 15:30-17:30
- konsultacje:
- M.Kutyłowski, wtorek, godz. 13-15, p. 215, C-11,
kontakt: email: mirekk@im.pwr.wroc.pl, mirekk@amu.edu.pl
tel./fax/automat. sekretarka: (071) 3202109
- dr M.Zakrzewski:
- W. Połowczuk:
- P. Szajowski:
Informacje:
Wymagania:
- Zaliczenie następuje na podstawie prac pisemnych.
Kolokwia odbywają się na ćwiczeniach co 2-3 tygodnie -- każdorazowo
jest to 20-minutowa praca.
- Można opuścić do 2 kolokwiów (w tym poprzez nieoddanie pracy),
- Ocena liczona jest jako średnia arytmetyczna
z wszystkich napisanych kolokwiów. Skala ocen na kolokwiach: od 1 do 5.
- Ocena z ćwiczeń może zostać podniesiona przez prowadzącego
ćwiczenia na podstawie aktywności na zajęciach.
- Egzamin końcowy ma podobny charakter co kartkówki na ćwiczeniach
Literatura:
Niestety, nie są dostępne podręczniki odpowiadające potrzebom
uczestników wykładu. Dostępna literatura jest albo skierowana
dla studentów matematyki, bądź traktuje zagadnienia w dość zaawansowany
sposób.
- Wstęp do teorii mnogości i logiki J.Tiuryn, ISBN 83-910596-7-7
- Logic, programming and Prolog, U.Nilson, J.Małuszyński,
Wiley, ISBN 0-471-95996-0 (w bibliotece PWR niedostępna)
Orientacyjna zawartość wykładu:
- definicje i dowody indukcyjne
- rachunek zdań pierwszego rzędu
- systemy dowodów formalnych zdań pierwszego rzędu
- konstrukcje modeli
- operacje teoriomnogościowe
- interpretacje formuł w modelu
- Prolog i reguły wyprowadzeń
- rachunek kwantyfikatorów
- aksjomatyczny system rachunku kwantyfikatorów
- twierdzenia Goedla
- logika i bazy danych
- logika i systemy ekspertowe