Математички факултет
Математички факултет Универзитет у Београду
ЋИР | ЛАТ | ENG
С.М.
Стефан Митровић
Асистент
Катедра за алгебру и математичку логику

Математичка логика у рачунарству

Опште информације

Консултације

Консултације

Правила природне дедукције

Правила природне дедукције

ЛК рачун секвената

Правила ЛК рачуна 

Елиминација квантификатора

Материјал

Теорема компактности

Материјал

Почетна