nativelib.net logo NativeLib es ESPAÑOL ▼

Математичка логика / Lógica matemática - Vocabulario

предлог
предикат
квантификатор
таутологија
контрадикција
закључивање
модалитет
аксиом
теорема
доказ
модел
доследност
потпуност
чврстина
негација
коњункција
дисјункција
импликација
еквиваленција
синтакса
семантика
променљива
функција
однос
домен
тумачење
одбитак
заузимање
логички везници
предикатска логика
исказна логика
првог реда
другог реда
теорија модела
теорија доказа
теорија скупова
формални систем
мета-теорија
одлучивост
рекурзија
фиксна тачка
комбинаторика
аутомат
израчунљивост
логичка капија
Булова алгебра
нормални облик
последица
доследност
побијање