Курс на Stepik
Обложка курса «Математическая логика и теория алгоритмов» на Stepik
Бесплатно

Математическая логика и теория алгоритмов 4.788

Открыть на
STEPIK.ORG

Авторский курс, разработанный с учетом потребностей и возможностей аудитории разных возрастов и уровня подготовки. Материал достаточно сложный, но преподнесен понятным и доступным языком, а также иллюстрирован оригинальными и разнообразными примерами и пояснениями. Простота изложения материала позволит освоить курс любому человеку, желающему понять основы математической логики и применить ее в реальной жизни.

Показатель Текущие показатели Рост
Значение 🏆 Рейтинг 3 дн 7 дн 30 дн
Количество учеников на курсе «Математическая логика и теория алгоритмов»Учеников на курсе 31 087
Сертификаты, выданные на курсе «Математическая логика и теория алгоритмов»Сертификатов выдано 4 583
Отзывы о курсе «Математическая логика и теория алгоритмов»Отзывов получено 189
Рейтинг курса «Математическая логика и теория алгоритмов»Рейтинг курса 4.788
Уроки в курсе «Математическая логика и теория алгоритмов»Количество уроков 64
Тесты в курсе «Математическая логика и теория алгоритмов»Количество квизов 263
Время прохождения курса «Математическая логика и теория алгоритмов»Время прохождения курса
Обновления курса «Математическая логика и теория алгоритмов»Обновления курса
Дата публикации курса «Математическая логика и теория алгоритмов»Дата публикации курса
Последнее обновление курса «Математическая логика и теория алгоритмов»Последнее обновление

Содержание курса

Разделы в курсе «Математическая логика и теория алгоритмов» 9 разделов Уроки в курсе «Математическая логика и теория алгоритмов» 64 урока Тесты в курсе «Математическая логика и теория алгоритмов» 263 теста Время прохождения курса «Математическая логика и теория алгоритмов» 10 ч. Последнее обновление курса «Математическая логика и теория алгоритмов» обн. 1 год назад

Глава 1. Миссия математической логики

10 уроков
1. Что такое логика
2. Что такое математика
3. Софизмы и парадоксы
4. Математическая логика
5. Становление логики
6. Начало математической логики
7. Математическая логика в своем блеске и великолепии
8. Дополнительные вопросы для обсуждения
9. Рекомендуемая литература к главе 1
10. Итоговый тест по главе 1

Глава 2. Основы теории множеств

9 уроков
1. "Интуитивная" теория множеств
2. Операции над множествами
3. Отношения
4. Специальные свойства отношений
5. Эквивалентность и порядок
6. Функции (отображения)
7. Дополнительные вопросы для обсуждения
8. Рекомендуемая литература к главе 2
9. Итоговый тест по главе 2

Глава 3. Пропозициональная логика

8 уроков
1. Высказывания и высказывательные формы
2. Пропозициональные логические связки
3. Язык логики высказываний
4. Тавтологии
5. Равносильности
6. Дополнительные вопросы для обсуждения
7. Рекомендуемая литература к главе 3
8. Итоговый тест по главе 3

Глава 4. Языки первого порядка

9 уроков
1. Предикаты и кванторы
2. Термы и формулы
3. Интерпретация формул
4. Формулы общезначимые, выполнимые, логически эквивалентные
5. Перевод с естественного языка на логический и обратно
6. Примеры перевода с естественного языка на логический и обратно
7. Дополнительные вопросы для обсуждения
8. Рекомендуемая литература к главе 4
9. Итоговый тест по главе 4

Глава 5. Аксиоматический метод

8 уроков
1. Аксиоматическое построение математических теорий
2. Формальные аксиоматические теории
3. Исчисление высказываний
4. Теории первого порядка
5. Примеры формальных аксиоматических теорий
6. Дополнительные вопросы для обсуждения
7. Рекомендуемая литература к главе 5
8. Итоговый тест по главе 5

Глава 6. Математическое доказательство

7 уроков
1. Индуктивное рассуждение
2. Математическая индукция
3. Различные виды доказательств в математике
4. Компьютерные доказательства
5. Дополнительные вопросы для обсуждения
6. Рекомендуемая литература к главе 6
7. Итоговый тест по главе 6

Глава 7. Теория алгоритмов

10 уроков
1. Неформальная вычислимость и машины Тьюринга
2. Частично-рекурсивные функции
3. Тезис Черча
4. Некоторые алгоритмически неразрешимые проблемы
5. Асимптотические обозначения
6. Алгоритмы и их сложность
7. Сложность задач
8. Дополнительные вопросы для обсуждения
9. Рекомендуемая литература к главе 7
10. Итоговый тест по главе 7

Итоговый тест по курсу

2 урока
1. Часть 1
2. Часть 2

Ваш отзыв по курсу

1 урок
1. Ваш отзыв