Для студентов РТУ МИРЭА по предмету Математическая логикаМацнев А.П. - Математическая логика и теория алгоритмов - 2004Мацнев А.П. - Математическая логика и теория алгоритмов - 2004
2017-07-082017-07-08СтудИзба
Книга: Мацнев А.П. - Математическая логика и теория алгоритмов - 2004
Описание
Описание файла отсутствует
Характеристики книги
Тип
Предмет
Учебное заведение
Семестр
Просмотров
1264
Скачиваний
200
Размер
878,66 Kb
Список файлов
- Мацнев А.П. - Математическая логика и теория алгоритмов - 2004
- 1_Введение.doc 516 Kb
- 2_Основы_логики..doc 360,5 Kb
- 3_Алгебра_логики.doc 462 Kb
- 4_Формальные системы.doc 60 Kb
- 5_Исчисление высказываний.doc 90,5 Kb
- 6_ исчисление предикатов.doc 72,5 Kb
- 8_1.doc 163,5 Kb
- 8_2.doc 319,5 Kb
- 8_Теория алгоритмов..doc 481 Kb
- М_РП1604.doc 124 Kb
- Содержание лекционного курса.doc 27 Kb
Хочешь зарабатывать на СтудИзбе больше 10к рублей в месяц? Научу бесплатно!
Начать зарабатывать
Начать зарабатывать