Úvod do matematickej logiky

Matematický predmet predstavujúci základné pojmy výrokovej a predikátovej logiky a princípy logického usudzovania.

Popisy pripravené s pomocou AI z verejných zdrojov.