Слепой часовщик
Развивайся, всё в твоих руках, а данный канал будет лишь инструментом твоего развития.
7.2 Частично-рекурсивные функции
7.1 Неформальная вычислимость и машины Тьюринга.
6.4 Компьютерные доказательства.
✅От СОЛНЕЧНОЙ БАТАРЕИ до СОЛНЕЧНОЙ ЭЛЕКТРОСТАНЦИИ своими руками.⚠🌤♻
6.3 Различные виды доказательств в математике.
6.2 Математическая индукция
6.1. Индуктивное рассуждение.Математическая логика и теория алгоритмов
5.5. Примеры формальных аксиоматических теорий.Математическая логика и теория алгоритмов.
5.4.Теории первого порядка.Математическая логика и теория алгоритмов.
5.3.Исчисление высказываний.Математическая логика и теория алгоритмов.
5.2.Формальные аксиоматические теории.Математическая логика и теория алгоритмов.
5.1.Аксиоматический метод. Аксиоматическое построение математических теорий.
4.6.Примеры перевода с естественного языка на логический и обратно.
4.5.Перевод с естественного языка на логический и обратно.Математическая логика и теория алгоритмов.
4.4.Формулы общезначимые, выполнимые, логически эквивалентные.
4.3.Интерпретация формул.Математическая логика и теория алгоритмов.
4.2.Термы и формулы.Математическая логика и теория алгоритмов.
4.1.Языки первого порядка.Предикаты и кванторы.Математическая логика и теория алгоритмов.
3.5.Равносильности.Математическая логика и теория алгоритмов.
3.4.Тавтологии.Математическая логика и теория алгоритмов.
3.3.Язык логики высказываний.Математическая логика и теория алгоритмов.
3.2.Пропозициональные логические связки.Математическая логика и теория алгоритмов.
3.1.Пропозициональная логика.Высказывания и высказывательные формы
2.6.Функции(отображения).Математическая логика и теория алгоритмов.
2.5.Эквивалентность и порядок.Математическая логика и теория алгоритмов.
2.4.Специальные свойства отношений. Математическая логика и теория алгоритмов.
2.3.Отношения.Математическая логика и теория алгоритмов.
2.2.Операции над множествами.Математическая логика и теория алгоритмов.
2.1.Основы теории множеств. "Интуитивная" теория множеств.Математическая логика и теория алгоритмов.
1.7.Математическая логика в своем блеске и великолепии.Математическая логика и теория алгоритмов.