Садржај

Математички језик и математички објекти. Бројевни системи. Искази и логичке операције. Алгебра логике. Закони логичког мишљења. Булова алгебра. Булове једначине и неједначине. Булове функције. Канонске форме и минимизација Булових функција. Аксиоматске теорије. Садржајне и формалне теорије. Исказни рачун. Квантификаторски рачуни. Семантичка и синтаксна концепција рачуна првог реда. Ваљане формуле и теореме рачуна К. Специјални квантификаторски рачуни. Формализација на језику предикатског рачуна. Основи фази логике. Регуларни језици. Аутомати. Граматике. Практична настава: Израда постављених примера и задатака.