1. SylabUZ
2. Faculty of Mathematics, Computer Science and Econometrics
3. winter term 2020/2021
4. Informatics and Econometrics - First-cycle studies leading to Bachelor's degree
5. Boolean Methods in Computer Science

Generate PDF for this page

Boolean Methods in Computer Science - course description

Aim of the course

Zapoznanie z podstawowymi pojęciami, funkcjami boolowskimi oraz metodami ich wykorzystania w zagadnieniach informatycznych.

Prerequisites

Save changes

Zaliczona: Matematyka dyskretna 1

Scope

Wykład/ćwiczenia

1. Algebry Boole’a.
2. Funkcje boolowskie, metody określania funkcji boolowskich, funkcje progowe, symetryczne; rozkładanie funkcji boolowskich.
3. Formuły boolowskie, minimalizacja.
4. Zastosowania formuł boolowskich w teorii grafów i złożoności obliczeniowej problemów

Teaching methods

Wykład: konwencjonalny, prezentacja z wykorzystaniem komputera i projektora.

Ćwiczenia: klasyczna metoda problemowa.

Learning outcomes and methods of theirs verification

Outcome description	Outcome symbols	Methods of verification	The class form

Assignment conditions

Ocena końcowa przedmiotu: średnia ocena z zaliczenia ćwiczeń i z egzaminu.

Warunkiem zaliczenia ćwiczeń jest uzyskanie pozytywnej oceny ze sprawdzianów pisemnych oraz aktywności na ćwiczeniach.

Warunkiem zaliczenia sprawdzianu pisemnego jest uzyskanie ustalonej dla danego sprawdzianu minimalnej liczby punktów.

Warunkiem zaliczenia egzaminu jest uzyskanie pozytywnej oceny ostatecznej z egzaminu (pisemnego lub ustnego).

Recommended reading

1. N. Deo, Teoria grafów i jej zastosowania w technice i informatyce, WNT, 1980.
2. T. Fujisawa, T. Kasami, Theory of discrete structures, Tokyo, 1984.

Further reading

1. Ch.H. Papadimitriou, Złożoność obliczeniowa, Helion, 2012.
2. K.A. Ross, Ch.R.B. Wright, Matematyka dyskretna, PWN, 2013.

Notes

Modified by dr Alina Szelecka (last modification: 05-06-2020 12:23)