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

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

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

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

Показатель Текущие показатели Рост
Значение 🏆 Рейтинг 3 дн 7 дн 30 дн
Количество учеников на курсе «Математическая логика и теория алгоритмов»Учеников на курсе 31 260
Сертификаты, выданные на курсе «Математическая логика и теория алгоритмов»Сертификатов выдано 4 615
Отзывы о курсе «Математическая логика и теория алгоритмов»Отзывов получено 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. Ваш отзыв ↗