Discrete Mathematics

Major: Distributed Information Systems and Technologies
Code of subject: 6.126.03.O.004
Credits: 6.00
Department: Information Systems and Networks
Lecturer: Ph.D., Associate Professor, Rostislav Vladimirovich Yurinets
Semester: 1 семестр
Mode of study: денна
Мета вивчення дисципліни: • Fundamentals of mathematical logic and set theory, • Elements of combinatorial analysis • Basic theory of relations, • Basics of graph theory and trees • Basics of coding theory, • Boolean functions,
Завдання: • Fundamentals of mathematical logic and set theory, • Elements of combinatorial analysis • Basic theory of relations, • Basics of graph theory and trees • Basics of coding theory, • Boolean functions,
Learning outcomes: • Fundamentals of mathematical logic and set theory, • Elements of combinatorial analysis • Basic theory of relations, • Basics of graph theory and trees • Basics of coding theory, • Boolean functions, • Grammar and machines • Foundations of the theory of algorithms • Basics of coding theory.
Required prior and related subjects: • Algorithmization and Programming, Numerical Analysis, Decision theory, object-oriented programming, organization of data and knowledge bases, data mining, methods and artificial intelligence.
Summary of the subject: The logic and methods of proof. Sets and relations. Elements of combinatorial analysis. Counts. Trees. Boolean function. Languages, grammar and machines. Basic theory of algorithms. Basic theory of coding. Combinatorial problems and computational complexity.
Опис: • Current control (45%): written reports on laboratory work, settlement and graphic work, independent work, oral examination; • Final control (55% of exam): in written, verbally.
Assessment methods and criteria: • Current control (45%): written reports on laboratory work, settlement and graphic work, independent work, oral examination; • Final control (55% of exam): in written, verbally.
Критерії оцінювання результатів навчання: • Current control (45%): written reports on laboratory work, settlement and graphic work, independent work, oral examination; • Final control (55% of exam): in written, verbally.
Recommended books: • Нікольський Ю.В. Дискретна математика / Ю.В. Нікольський, В.В. Пасічник, Ю.М. Щербина. – Львів.: Видавництво "Магнолія-2006", 2011. – 432 с. • Капітонова Ю.В. Основи дискретної математики / Ю.В. Капітонова, С.Л. Кривий, О.А. Летичевський, Г.М. Луцький, М.К. Печурін. – К.: Наукова думка, 2002. – 580 с.