Александр Соловьев

СодержаниеВсе есть число" Высшего смысла Лекция 1. МНОЖЕСТВА Лекция 2. БЕСКОНЕЧНОСТЬ БЫВАЕТ РАЗНАЯ БЕСКОНЕЧНО МНОГО – это всегда ОДИНАКОВО БЕСКОНЕЧНО МНОГО? Или могут быть большие и меньшие бесконечности? Часть равна целому Лекция 3. ОПЕРАЦИИ НАД МНОЖЕСТВАМИ ЗАКОН Де Моргана Двойного дополнения Исключенного третьего Лекция 4. СООТВЕТСТВИЯ, ОТОБРАЖЕНИЯ, ОТНОШЕНИЯ Лекция 5. ОСОБЫЕ ОТНОШЕНИЯ Нестрогим (частичным) Теория решеток Наибольшим (наименьшим) Наибольший или равный Максимальным (минимальным) Булевым решеткам Лекция 6. МАТЕМАТИЧЕСКАЯ ЛОГИКА (БЕССМЫСЛЕННАЯ ЛОГИКА) Теорию категорий Логической алгеброй Исключенного третьего Лекция 7. ОПЕРАЦИИ НАД ВЫСКАЗЫВАНИЯМИ Логического парадокса СМЫСЛОМ высказываний. Так что в этом смысле логику можно считать БЕССМЫСЛИЦЕЙ Отрицание – " Логическая эквивалентность Штрих шеффера Лекция 8. АЛГЕБРА ВЫСКАЗЫВАНИЙ ЕСЛИ стоит хорошая погода, ТО Тогда и только тогда ЕСЛИ стоит хорошая погода, ТО НЕ хорошая погода ИЛИ Ассоциативный закон Дистрибутивный закон И мы купаемся ИЛИ Таблицы истинности Или не верно Лекция 9. ЛОГИКА ПРЕДИКАТОВ Произвольные об'екты Навешивания кванторов ВСЕ любят кашу" "НЕКОТОРЫЕ Некоторые не Из формализованных языков математики язык предикатов – самый близкий к естественному ПРОЛОГ – ПРОграммирование на ЛОГике. Для некоторых Лекция 10. АКСИОМАТИЧЕСКИЕ ТЕОРИИ ЕСЛИ хорошая погода, ТО Принцип (метод) резолюци Я яя яяя… яяяяяяяяяяяяяяяяяяяяяяяяяяяяяяяя… Теорему о неполноте Лекция 11. ТЕОРИЯ АЛГОРИТМОВ Рекурсивные функции Нуль– функция Функция следования Функция выбора аргумента Оператор суперпозиции Оператор наименьшего корня Частично рекурсивных функций Нормальной схемой подстановок Лекция 12. ФОРМАЛЬНЫЕ ГРАММАТИКИ Языка математики Грамматические правила Сентенциальная форма Непосредственным порождением Лекция 13. СЛОЖНОСТЬ ВЫЧИСЛЕНИЙ Polinomial – полиномиальный P = NP? Интересно, говорят этой формулой математики, совпадают ли множество задач, решаемых за полиномиальное время и множество