Сколько стоит курс «Математическая логика и теория алгоритмов»?

Курс «Математическая логика и теория алгоритмов» доступен бесплатно.

Сколько времени занимает прохождение курса «Математическая логика и теория алгоритмов»?

Прохождение курса «Математическая логика и теория алгоритмов» занимает примерно 10 часов.

Какой рейтинг у курса «Математическая логика и теория алгоритмов»?

Курс имеет рейтинг 4.8 из 5 на основе 187 отзывов. На курсе обучается 30 956 учеников.

Выдаётся ли сертификат по окончании курса?

Да, при успешном завершении курса выдаётся сертификат от платформы Stepik. На данный момент 4 551 учеников получили сертификат (14.7% завершаемость).

Где можно пройти курс «Математическая логика и теория алгоритмов»?

Курс доступен на образовательной платформе Stepik по адресу stepik.org/course/48679.

Курс на Stepik

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

Бесплатно

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

Name: Математическая логика и теория алгоритмов
Availability: InStock
Rating: 4.786 (187 reviews)

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

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

Показатель	Текущие показатели		Рост
Показатель	Значение	🏆 Рейтинг	3 дн	7 дн	30 дн
Учеников на курсе	30 956
Сертификатов выдано	4 551
Отзывов получено	187
Рейтинг курса	4.786
Количество уроков	64
Количество квизов	263
Время прохождения курса	10 ч.	—
Обновления курса	—	—
Дата публикации курса	7 лет назад	—	—	—	—
Последнее обновление	1 год назад	—	—	—	—

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

Разделы в курсе «Математическая логика и теория алгоритмов»

9 разделов Уроки в курсе «Математическая логика и теория алгоритмов»

64 урока Тесты в курсе «Математическая логика и теория алгоритмов»

263 теста Время прохождения курса «Математическая логика и теория алгоритмов»

10 ч.

обн. 1 год назад

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

10 уроков

111 289

64 587

98м

1356

Закрытый

1.1 Что такое логика ↗

29 925

1 130

14м 30с

399

Закрытый

1.2 Что такое математика ↗

13 196

9 595

14м 40с

236

Закрытый

1.3 Софизмы и парадоксы ↗

11 147

8 435

11м 48с

161

Закрытый

1.4 Математическая логика ↗

9 915

7 267

11м 58с

144

Закрытый

1.5 Становление логики ↗

8 551

6 265

9м 41с

102

Закрытый

1.6 Начало математической логики ↗

8 052

6 062

18м 47с

144

Закрытый

1.7 Математическая логика в своем блеске и великолепии ↗

7 539

5 896

15м 9с

117

Закрытый

1.8 Дополнительные вопросы для обсуждения ↗

6 990

6 404

0м 28с

Закрытый

1.9 Рекомендуемая литература к главе 1 ↗

7 218

1м 16с

Закрытый

1.10 Итоговый тест по главе 1 ↗

8 756

6 315

6м 37с

-71

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

9 уроков

49 578

37 809

107м

429

Закрытый

2.1 "Интуитивная" теория множеств ↗

8 586

5 151

16м 45с

Закрытый

2.2 Операции над множествами ↗

6 364

4 551

17м 26с

Закрытый

2.3 Отношения ↗

5 666

4 193

21м 8с

Закрытый

2.4 Специальные свойства отношений ↗

4 988

3 881

8м 28с

Закрытый

2.5 Эквивалентность и порядок ↗

4 793

3 656

18м 50с

Закрытый

2.6 Функции (отображения) ↗

4 701

3 286

20м 18с

Закрытый

2.7 Дополнительные вопросы для обсуждения ↗

4 195

3 732

0м 22с

Закрытый

2.8 Рекомендуемая литература к главе 2 ↗

4 247

1м 50с

Закрытый

2.9 Итоговый тест по главе 2 ↗

6 038

5 112

5м 1с

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

8 уроков

Закрытый

3.1 Высказывания и высказывательные формы ↗

5 766

3 264

17м 49с

Закрытый

3.2 Пропозициональные логические связки ↗

4 111

3 244

15м 7с

Закрытый

3.3 Язык логики высказываний ↗

4 113

3 115

19м 40с

Закрытый

3.4 Тавтологии ↗

4 018

3 122

14м 36с

Закрытый

3.5 Равносильности ↗

3 860

3 057

12м 15с

Закрытый

3.6 Дополнительные вопросы для обсуждения ↗

3 638

3 362

0м 14с

Закрытый

3.7 Рекомендуемая литература к главе 3 ↗

3 652

1м 53с

Закрытый

3.8 Итоговый тест по главе 3 ↗

5 354

4 954

2м 16с

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

9 уроков

35 314

28 480

79м

257

Закрытый

4.1 Предикаты и кванторы ↗

5 469

2 977

9м 46с

Закрытый

4.2 Термы и формулы ↗

3 855

2 974

17м 42с

Закрытый

4.3 Интерпретация формул ↗

3 664

2 793

13м 11с

Закрытый

4.4 Формулы общезначимые, выполнимые, логически эквивалентные ↗

3 541

2 825

13м 57с

Закрытый

4.5 Перевод с естественного языка на логический и обратно ↗

3 500

2 824

9м 27с

Закрытый

4.6 Примеры перевода с естественного языка на логический и обратно ↗

3 452

2 802

14м 44с

Закрытый

4.7 Дополнительные вопросы для обсуждения ↗

3 350

3 123

0м 26с

Закрытый

4.8 Рекомендуемая литература к главе 4 ↗

3 374

1м 8с

Закрытый

4.9 Итоговый тест по главе 4 ↗

5 109

4 788

3м 32с

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

8 уроков

Закрытый

5.1 Аксиоматическое построение математических теорий ↗

4 835

2 764

8м 0с

Закрытый

5.2 Формальные аксиоматические теории ↗

3 362

2 703

12м 27с

Закрытый

5.3 Исчисление высказываний ↗

3 355

2 669

11м 26с

Закрытый

5.4 Теории первого порядка ↗

3 279

2 636

14м 55с

Закрытый

5.5 Примеры формальных аксиоматических теорий ↗

3 231

2 593

12м 22с

Закрытый

5.6 Дополнительные вопросы для обсуждения ↗

3 126

0м 9с

Закрытый

5.7 Рекомендуемая литература к главе 5 ↗

3 160

1м 54с

Закрытый

5.8 Итоговый тест по главе 5 ↗

4 925

4 630

3м 34с

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

7 уроков

Закрытый

6.1 Индуктивное рассуждение ↗

4 716

2 683

14м 53с

Закрытый

6.2 Математическая индукция ↗

3 365

2 641

14м 55с

Закрытый

6.3 Различные виды доказательств в математике ↗

3 279

2 665

18м 53с

Закрытый

6.4 Компьютерные доказательства ↗

3 252

2 612

20м 52с

Закрытый

6.5 Дополнительные вопросы для обсуждения ↗

3 097

2 929

0м 9с

Закрытый

6.6 Рекомендуемая литература к главе 6 ↗

3 125

1м 25с

Закрытый

6.7 Итоговый тест по главе 6 ↗

4 924

4 647

3м 36с

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

10 уроков

36 676

29 190

86м

280

Закрытый

7.1 Неформальная вычислимость и машины Тьюринга ↗

5 101

2 718

16м 13с

Закрытый

7.2 Частично-рекурсивные функции ↗

3 475

2 614

13м 8с

Закрытый

7.3 Тезис Черча ↗

3 430

2 607

7м 18с

Закрытый

7.4 Некоторые алгоритмически неразрешимые проблемы ↗

3 272

2 590

9м 9с

Закрытый

7.5 Асимптотические обозначения ↗

3 252

2 605

10м 7с

Закрытый

7.6 Алгоритмы и их сложность ↗

3 408

2 598

10м 15с

Закрытый

7.7 Сложность задач ↗

3 358

2 580

17м 43с

Закрытый

7.8 Дополнительные вопросы для обсуждения ↗

3 144

0м 24с

Закрытый

7.9 Рекомендуемая литература к главе 7 ↗

3 212

1м 51с

Закрытый

7.10 Итоговый тест по главе 7 ↗

5 024

4 522

2м 18с

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

2 урока

Закрытый

8.1 Часть 1 ↗

5 490

4 545

3м 42с

Закрытый

8.2 Часть 2 ↗

4 954

4 441

2м 1с

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

1 урок

Закрытый

9.1 Ваш отзыв ↗

4 734

0м 15с