Z zagadnień wprowadzających do dziedziny logiki omówione zostaną następujące: modelowanie i modelowanie logiczne, wnioskowanie ilościowe i symboliczne, logiki, podejście semantyczne i syntaktyczne, zagadnienia poprawności i pełności.
Korzystanie z serwisu oznacza akceptację regulaminu.