Akademik Dersler - İçerik

apply a fundamental knowledge of logic to mathematical reasoning.
explain the concepts of proposition and argument.
explain and apply inference rules of propositional and quantificational logic.
explain and exemplify basic forms of mathematical proof on the basis of symbolic logic.
apply basic knowledge of set theory.
explain set notations.
explain and exemplify basic operations on sets and relations between sets.
explain and inspect the notions and types of relation and functions.
explain the axioms of set theory.
analyze the properties of sets of numbers axiomatically.
express basic rules and properties of the aritmetics and ordering of natural numbers symbolically.
explain and apply proof by induction.
explain properties of orderings of other sets of numbers.
explain properties of basic algebraic structures.
explain the notion of algebraic structure.
explain axioms of groups, rings and fields.
inspect immediate consequences of the axioms of algebraic structures.
explain and inspect algebraic sub-structures.
apply basic rules of finite probability theory.
explain and exemplify the notions of event and experiment.
express the basic axioms of probability theory.
calculate probability of events by means of the axioms of finite probability theory.