Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.

Ответы по МАТЕМАТИЧЕСКОЙ ЛОГИКЕ.

 

Фильтр по заголовку     Количество строк:  
Заголовок материала
1 Лингвистические соображения, форулы
2 Таблицы истинности, общезначимость.
3 Правило подстановки, совокупность общезначимых формул
4 Отношение следования
5 Сокращенные таблицы истиности
6 Доказуемость и выводимость
7 Теорема о дедукции
8 Непротиворечивость, правила введения и удаления
9 Полнота
10 ЛОГИКА ПРЕДИКАТОВ. Лингвистические соображения, формулы
11 Общезначимость (предметные области)
12 Следование
13 Доказуемость и выводимость
14 Теорема о дедукции
15 Непротиворечивость
16 Функции, термы
17 ФОРМАЛЬНЫЕ ПРЕОБРАЗОВАНИЯ АЛГОРИТМОВ
18 Математика аксиоматическая и математика интуитивная
19 Формальные системы, математика
20 Формальное арифметика
21 ПОНЯТИЕ АЛГЕБРАИЧЕСКОЙ СИСТЕМЫ. Общие замечания.
22 Операторные алгоритмы Ван Хао.
23 РЕКУРСИВНЫЕ ФУНКЦИИ
24 МАШИНЫ ТЬЮРИНГА. Основные понятия
25 Машины Тьюринга с двумя выходами
26 Универсальная машина Тьюринга
27 Композиции машин Тьюринга
28 ТЕЗИС ЧЁРЧА.
29 АЛГОРИТМИЧЕСКИ НЕРАЗРЕШИМЫЕ ПРОБЛЕМЫ
30 МЕТОДЫ ОЦЕНКИ АЛГОРИТМОВ
 

 

Логика - доступно для всех