Discrete Mathematics: Logic, Structures, Algorithms

Related lectures (24)

Page 2 of 3

Introduces sets in discrete mathematics and explores proof techniques like direct and indirect proofs.

Covers the basics of propositional logic, its history, language, and computing applications.

Covers the basic concepts of sets, functions, and number systems.

Introduces sets, functions, Cartesian products, and compositions, discussing images, preimages, and function properties.

Covers the basics of analysis, including proofs, sets, rational and real numbers, and the concept of infimum.

Introduces sets and functions, covering union, intersection, complement, functions terminology, and set operations analogies.

Covers the definition of applications, image of elements, and direct and reciprocal images.

Covers organizational aspects, introduces Kahut for quizzes, presents complex examples, and summarizes the main topics.

Covers translating natural language to propositional logic and proving tautologies.