1. SylabUZ
2. Faculty of Computer Science, Electrical Engineering and Automatics
3. winter term 2022/2023
4. Computer Science - First-cycle studies leading to Engineer's degree
5. Computational Logic

Generate PDF for this page

Computational Logic - course description

Aim of the course

• zapoznanie studentów z podstawami algebry Boole’a i rachunku zdań,
• zapoznanie studentów z metodami dowodzenia tautologii,
• zapoznanie studentów z wykorzystaniem logiki i teorii mnogości w informatyce.

Prerequisites

Save changes

Brak wymagań.

Scope

Rachunek zdań. Składnia i semantyka. Pojęcie tautologii. Metody dowodzenia tautologii. Prawa rachunku zadań.

Zbiór i elementy zbioru. Definiowanie zbiorów. Podzbiory. Równość zbiorów. Operacje na zbiorach. Prawa teorii zbiorów i

sposoby ich dowodzenia.

Produkt kartezjański. Relacje. Rodzaje relacji. Operacje na relacjach i sposoby ich sprawdzania. Zastosowanie pojęcia relacji w informatyce.

Algebra Boole’a. Funkcje logiczne. Minimalizacja funkcji logicznych. Metody reprezentacji funkcji logicznych (BDD). Badanie spełnialności funkcji logicznych.

Logika i teoria mnogości w informatyce

Elementy logiki symbolicznej i rachunku sekwentów.

Teaching methods

Wykład: wykład konwencjonalny/tradycyjny.

laboratorium: zajęcia laboratoryjne i ćwiczenia praktyczne

Learning outcomes and methods of theirs verification

Outcome description	Outcome symbols	Methods of verification	The class form

Assignment conditions

Wykład - warunkiem zaliczenia jest uzyskanie pozytywnych ocen z kolokwiów pisemnych lub ustnych przeprowadzonych co najmniej raz w semestrze.

Laboratorium– warunkiem zaliczenia jest uzyskanie pozytywnych ocen z pisemnych sprawdzianów tematycznych.

Składowe oceny końcowej = wykład: 50% + laboratorium: 50%
 

Recommended reading

1. Huzar Z.: Elementy logiki i teorii mnogości dla informatyków, Wydawnictwa Politechniki Wrocławskiej, Wrocław, 2007.
2. Ross K.A., Wright Ch.R.B.: Matematyka dyskretna, Wydawnictwo Naukowe PWN, Warszawa, 2006 (rozdz. 1, 2, 3,10).
3. Ławrow I.A, Maksimowa Ł.R: Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów, Wydawnictwo Naukowe PWN, Warszawa, 2004.
4. Ben Ari M.: Logika matematyczna w informatyce, WNT, Warszawa, 2005.

Further reading

1. Papadimitriou H.: Złożoność obliczeniowa, WNT, Warszawa, 2002 (cz. 2 Logika).
2. Tiuryn J.: Wstęp do teorii mnogości i logiki, Wydział Matematyki, Informatyki i Mechaniki, Uniwersytet Warszawski, 1998 (podręcznik internetowy).
3. Majewski W.: Układy logiczne, Wydawnictwa Komunikacji i Łączności, 2000.

Notes

Modified by dr inż. Jacek Tkacz (last modification: 07-04-2022 15:48)