1. SylabUZ
2. Wydział Matematyki, Informatyki i Ekonometrii
3. semestr zimowy 2022/2023
4. Mathematics - pierwszego stopnia z tyt. licencjata
5. Boolean Methods in Computer Science

Wygeneruj PDF dla tej strony

Boolean Methods in Computer Science - opis przedmiotu

Cel przedmiotu

Introduction to basic concepts, Boolean functions, and methods of their application in computer science problems.

Wymagania wstępne

Zapisz zmiany

Discrete Mathematics 1

Zakres tematyczny

1. Boolean Algebras.
2. Boolean Functions, methods for determining Boolean functions, threshold functions, symmetric functions; Boolean function decomposition.
3. Boolean formulas, minimization.
4. Applications of Boolean formulas in graph theory and computational complexity of problems.

Metody kształcenia

Lecture: traditional, presentation using a computer and projector.

Classes: classical problem-solving method.

Efekty uczenia się i metody weryfikacji osiągania efektów uczenia się

Opis efektu	Symbole efektów	Metody weryfikacji	Forma zajęć

Warunki zaliczenia

To pass the exercises, a positive grade is required from written tests and participation in class.

To pass a written test, a minimum number of points for that specific test must be achieved.

To pass the exam, a positive final grade must be obtained in the exam (conducted either in written or oral form).

Final grade for the subject: the average grade from exercises and the exam.

Literatura podstawowa

1. N. Deo, Graph Theory with Applications to Engineering and Computer Science, WNT, 1980.
2. T. Fujisawa, T. Kasami, Theory of discrete structures, Tokyo, 1984.

Literatura uzupełniająca

1. Ch. H. Papadimitriou, Computational Complexity, Helion, 2012.
2. K. A. Ross, Ch. R. B. Wright, Discrete Mathematics, PWN, 2013.

Uwagi

Zmodyfikowane przez dr hab. Elżbieta Sidorowicz, prof. UZ (ostatnia modyfikacja: 05-01-2024 13:06)