Politechnika Warszawska - Centralny System Uwierzytelniania
Strona główna

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) Podstawowe informacje o zasadach przyporządkowania punktów ECTS:
  • roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS;
  • tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h;
  • 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się;
  • tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS;
  • nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.

zobacz reguły punktacji
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ść wykładu

  1. Teoria krat: posety, kraty, diagramy Hassego, algebry Kleene,
    L-algebry, algebry Boolea, algebry Posta. [4 godziny]

  2. Rachunek zdań: teoria dowodu, tautologie, systemy aksjomatów,
    twierdzenie o pełności. [2 godziny]

  3. Logika pierwszego rzędu: kwantyfikatory, języki pierwszego rzędu
    i ich interpretacje, formy normalne, twierdzenie o pełności, drzewa
    semantyczne, teoria modeli [3 godziny]

  4. Rezolucja: przegląd metod rezolucji [2 godziny]

  5. Logika probabilistyczna: probabilistyczne wnioskowanie, małe
    tablice, duże tablice [2 godzina]

  6. Teoria Dempstera-Shafera: funkcje wiary (belief), Bayesowskie
    funkcje wiary, reguła łączenia Dempstera, funkcje wspomagające [2
    godziny]

  7. Zbiory przybliżone: teoria zbiorów przybliżonych w porównaniu z
    teorią Dempstera-Shafera[3 godziny]

  8. Logika rozmyta: zbiory rozmyte, operacje na zbiorach rozmytych,
    funkcje rozmyte, zmienne lingwistyczne, zdania rozmyte, reguły rozmyte.
    [3 godziny]

  9. Logika modalna: semantyka, systemy aksjomatów, System S4, System
    S5 [3 godziny]

  10. Logiki wielowartościowe oraz logiki niemonotoniczne [3 godziny]

  11. Metody dowodzenia twierdzeń [2 godziny]

  12. Rozstrzygalność teorii logicznych. [1 godzina]


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
Typ poprzednikaNr poprzednikaKod poprzednikaNazwa poprzednika
Zalecany1103A-INxxx-ISP-MADMatematyka dyskretna
Zalecany1103B-INxxx-ISP-MADMatematyka dyskretna
Zalecany1103A-INxxx-ISP-LTMLogika i teoria mnogości
Zalecany1103B-INxxx-ISP-AISDIAlgorytmy i struktury danych
Zalecany1103C-INxxx-ISP-AISDIAlgorytmy i struktury danych

Literatura:

  • Multiple-Valued Logic Design: an introduction, George Epstein,
    IOP Publishing, 1993

  • Introduction to Mathematical Logic, Elliott Mendelson, CRC Press,
    Fifth Edition, 2010

  • Knowledge-based systems, Rajendra A. Akerkar & Priti S. Sajja,
    Jones and Bartlett Publishers, 2010

  • Logical Foundations of AI, Michael Genesereth & Nils Nilson,
    Morgan Kaufman, 1987

  • Managing Uncertainty in Expert Systems, Jerzy Grzymala-Busse,
    Kluwer, 1991

  • The Mathematics of Meta-Mathematics, Helena Rasiowa and Roman
    Sikorski, PWN, 1968

  • Logika Matematyczna w Informatyce, Ben-Ari Mordechai, WNT, 2006

  • Logika dla Informatykow, J. Tiuryn, J. Tyszkiewicz, P. Urzyczyn,
    Skrypt - http://www.mimuw.edu.pl/~urzy/calosc.pdf

Przedmiot nie jest oferowany w żadnym z aktualnych cykli dydaktycznych.
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Politechnika Warszawska.
pl. Politechniki 1, 00-661 Warszawa tel: (22) 234 7211 https://pw.edu.pl kontakt deklaracja dostępności USOSweb 7.0.0.0-7 (2024-03-18)