Математическая логика и теория алгоритмов
Зюзьков В.М., Шелупанов А.А.
ТУСУР, 2001, 154с.
Томский межвузовский центр дистанционного образования (ТУСУР).Содержание:
Основы теории множеств.
Логика высказываний.
Булевы алгебры.
Логика предикатов.
Исчисления.
Теория алгоритмов.
Логические парадоксы.
Многозначные логики.
Томский межвузовский центр дистанционного образования (ТУСУР).Содержание:
Основы теории множеств.
Логика высказываний.
Булевы алгебры.
Логика предикатов.
Исчисления.
Теория алгоритмов.
Логические парадоксы.
Многозначные логики.
Litres
మీ పుస్తక దుకాణాన్ని జోడించాలనుకుంటున్నారా? support@z-lib.do వద్ద మమ్మల్ని సంప్రదించండి
ఫైల్ converter
మరిన్ని శోధన ఫలితాలు
మరిన్ని ప్రయోజనాలు 
