Logika dla informatyków
Informacje ogólne
Kod przedmiotu: | 103B-INIIT-MSP-LI | ||||||||||||||||||||||||
Kod Erasmus / ISCED: | (brak danych) / (brak danych) | ||||||||||||||||||||||||
Nazwa przedmiotu: | Logika dla informatyków | ||||||||||||||||||||||||
Jednostka: | Wydział Elektroniki i Technik Informacyjnych | ||||||||||||||||||||||||
Grupy: |
( Przedmioty techniczne )---EITI ( Przedmioty zaawansowane obieralne )-Inżynieria systemów informatycznych-mgr.-EITI ( Przedmioty zaawansowane obieralne )-Systemy informacyjno-decyzyjne-mgr.-EITI ( Przedmioty zaawansowane techniczne )--mgr.-EITI |
||||||||||||||||||||||||
Punkty ECTS i inne: |
(brak)
|
||||||||||||||||||||||||
Język prowadzenia: | polski | ||||||||||||||||||||||||
Jednostka decyzyjna: | 103000 - Wydział Elektroniki i Technik Informacyjnych |
||||||||||||||||||||||||
Kod wydziałowy: | LI |
||||||||||||||||||||||||
Numer wersji: | 2 |
||||||||||||||||||||||||
Skrócony opis: |
Na wykładzie przedstawiona będzie teoria krat, algebry Posta, teoria zbiorów rozmytych, teoria zbiorów przybliżonych zaproponowana przez Z. Pawlaka, rachunek zdań, logika pierwszego rzędu, logika probabilistyczna, logika rozmyta, logika modalna (system S4 oraz S5), logiki wielowartościowe, oraz logiki niemonotoniczne. Omówione będzie podejście Dempstera-Shafera do problemów związanych z niepełną informacją. Podejście to porównane zostanie z teorią zbiorów przybliżonych. Przedstawione zostaną różne metody dowodzenia twierdzeń. |
||||||||||||||||||||||||
Pełny opis: |
Na wykładzie przedstawiona będzie teoria krat, algebry Posta, teoria zbiorów rozmytych, teoria zbiorów przybliżonych zaproponowana przez Z. Pawlaka, rachunek zdań, logika pierwszego rzędu, logika probabilistyczna, logika rozmyta, logika modalna (system S4 oraz S5), logiki wielowartościowe, oraz logiki niemonotoniczne. Omówione będzie podejście Dempstera-Shafera do problemów związanych z niepełną informacją. Podejście to porównane zostanie z teorią zbiorów przybliżonych. Przedstawione zostaną różne metody dowodzenia twierdzeń.
Treść ćwiczeń W czasie ćwiczeń rozwiązywane będą proste problemy dotyczące nowych pojęć i metod przedstawionych na wykładzie. Zakres projektu Projekt dotyczyć będzie implementacji systemu typu Genzena sprawdzającego, czy zadana formuła rachunku zdań jest tautologią. Poprzedniki
|
||||||||||||||||||||||||
Literatura: |
|
Właścicielem praw autorskich jest Politechnika Warszawska.