NADE, okruh č. 54

Základy matematické logiky (syntax a sémantika výrokové a predikátové logiky, logické systémy).

Materiály

Zatím tu nejsou žádné materiály.

Použito také ve specializacích

• NADE – Vývoj aplikací, č. 54
• NMAT – Matematické metody, č. 62