Ders Notları Arama

İçindekiler: propotional and predicate, formal languages, examples, truth values and propositions, take a language, rules and examples, propositional calculus, examples, propositional and predicate calculus, sets, sets and predicate calculus, logical equivalence, De Morgan's laws, products of sets, ayrik matematik ders notu, ...

İçindekiler: discrete mathematics ders notu 1.bölüm, bijective, examples, functions and partial functions, representations of numbers, number system and algorithms, main algorithms, number theory, binary system, hexadecimal, number system, divisibility and prime numbers, ayrik matematik ders notu, ...

İçindekiler: discrete mathematics ders notu 2.bölüm, formal verification strategies, propositional calculus, set theory, counting, examples, repetition vs. non repetition, recursion, the pigeon-hole principle, counting trees, binary trees, some graph theory, fibonacci sequence, ayrik matematik ders notu, ...