Logika dla informatyków

2021L

Kod przedmiotu17N2-LDI
Punkty ECTS 3,5
Typ zajęć Ćwiczenia laboratoryjne
Wykład
Przedmioty wprowadzające
Wymagania wstępne
Opis ćwiczeń
Opis wykładów. Rachunek zdań. Operatory logiczne. Formuły rachunku zdań. Interpretacje. Logiczna równoważność. Spełnialność, prawdziwość i konsekwencje logiczne. 2. Metoda tabel semantycznych dla rachunku zdań. Poprawność i pełność. 3. Systemy dowodzenia dla rachunku zdań. System gentzenowski. System hilbertowski. 4. Reguła rezolucji dla rachunku zdań. 5. Rachunek predykatów. Formuły rachunku predykatów. Interpretacje. Logiczna równoważność. Modele. 6. Metoda tabel semantycznych dla rachunku predykatów. 7. Reguła rezolucji dla rachunku predykatów,ĆWICZENIA LABORATORYJNE:1. Podstawowe pojęcia rachunku zdań. Sprawdzanie spełnialności i prawdziwości formuł rachunku zdań. 2. Metoda tabel semantycznych dla rachunku zdań. 3. Systemy dowodzenia dla rachunku zdań. System gentzenowski. System hilbertowski. Przykładowe dowody. 4. Koniunkcyjna postać normalna i alternatywna postać normalna formuły. Siatki Karnaugh'a. Sieci logiczne. 5. Reguła rezolucji dla rachunku zdań i jej zastosowanie do sprawdzania prawdziwości formuł. 6. Podstawowe pojęcia rachunku predykatów. Metoda tabel semantycznych dla rachunku predykatów. 7. Reguła rezolucji dla rachunku predykatów i jej zastosowanie przy sprawdzaniu prawdziwości formuł.
Cel kształcenia
Literatura podstawowa1) Mordechai Ben Ari, Logika matematyczna w informatyce, t. brak, brak, brak, s. brak 2) J. Słupecki, K. Hałkowska, K. Piróg-Rzepecka, Logika matematyczna, t. brak, brak, brak, s. brak 3) H. Rasiowa, Wstęp do matematyki współczesnej, t. brak, brak, brak, s. brak
Literatura uzupełniająca
Uwagibrak