Информация о ресурсе
Название
Математическая логика и теория алгоритмов
Тип ресурса
Методические указания
Предметная област
Математика
Подкатегория
Учения о войне и армии
Год
2011
УДК
510.6(021)
Шифр
510.6(021)
Анотация
Содержат задания к контрольной работе по темам "Логика предикатов", "Нечеткие высказывания", "Частично рекурсивные функции" и "Машина Тьюринга"
Ключевые слова
ЛОГИКА ВЫСКАЗЫВАНИЙ, ЛОГИКА ПРЕДИКАТОВ, МАТЕМАТИЧЕСКАЯ ЛОГИКА, АЛГОРИТМОВ ТЕОРИЯ, РЕКУРСИВНЫЕ ФУНКЦИИ, ТЬЮРИНГА МАШИНЫ, МЕТОДИЧЕСКИЕ УКАЗАНИЯ, РГРТУ, УЧЕБНИКИ
Файл
1544.pdf