Mykola S. Nikitchenko
Job
The employee works at the next department
Theory and Technology of Programming
Faculty of Computer Science and Cybernetics
Subjects
The employee teaches the following subjects
Algorithm theory and mathematical logic
Logic and automated deduction
Formal methods in software development
Mathematical Logic and Theory of Algorithms
Discrete Mathematics
Сompositional Semantics of SQL-like Languages
Algorithm Theory and Mathematical Logic
Programming Logics and Their Applications
Logic and automated deduction
Discrete Mathematics
Mathematical Logic and Theory of Algorithms
Сompositional Semantics of SQL-like Languages
Logic and the Automated Deduction
Programming Logics and Their Applications
Course Paper
Bachelor's qualification work
Preparation of the Master's Qualification Thesis
Bachelor's qualification work
Preparation of the Master's Qualification Thesis