Logic and logical thinking are present and play an important role in most of the disciplines at the university level but in different ways. In our research, which has been ongoing for several years, ...

This course is an introduction to the essential discrete structures used in Computer Science, with emphasis on their applications. Topics to be covered include: binary number representation and ...

Propositional logic, also known as sentential logic or Boolean logic, is the branch of logic that studies ways of joining and/or modifying entire propositions, statements or sentences to form more ...

Effectively Propositional Logic (EPR), also known as the Bernays-Schoenfinkel class, allows encoding problems that are propositional in nature, but EPR encodings can be exponentially more succinct ...