Курс на Stepik
Обложка курса «Логика, 2023» на Stepik
Бесплатно

Логика, 2023 ★ 4.837

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

Этот курс был создан для студентов после многолетнего преподавания дисциплины «Логика» в различных вузах России и Европы. Данное пособие не претендует на целостное раскрытие предмета. Его цель – помочь студентам различных направлений подготовки понять смысл изучаемой дисциплины, а также выработать практические навыки решения логических задач и упражнений. Основное внимание уделено получению нового знания из имеющегося и проверке этого знания на истинность и ложность.

Показатель Текущие показатели Рост
Значение 🏆 Рейтинг 3 дн 7 дн 30 дн
Количество учеников на курсе «Логика, 2023»Учеников на курсе 4 099
Сертификаты, выданные на курсе «Логика, 2023»Сертификатов выдано 0
Отзывы о курсе «Логика, 2023»Отзывов получено 49
Рейтинг курса «Логика, 2023»Рейтинг курса 4.837
Уроки в курсе «Логика, 2023»Количество уроков 17
Тесты в курсе «Логика, 2023»Количество квизов 10
Время прохождения курса «Логика, 2023»Время прохождения курса —
Обновления курса «Логика, 2023»Обновления курса — —
Дата публикации курса «Логика, 2023»Дата публикации курса — ———
Последнее обновление курса «Логика, 2023»Последнее обновление — ———
Сложность easy — ———

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

Разделы в курсе «Логика, 2023» 5 разделов Уроки в курсе «Логика, 2023» 17 уроков Тесты в курсе «Логика, 2023» 10 тестов Время прохождения курса «Логика, 2023» 2 ч. Последнее обновление курса «Логика, 2023» обн. 1 год назад

1. Алфавит и основные законы логики

3 урока
Закрытый
1.1 Алфавит классической формальной логики ↗
4 197
2 418
2м 21с
27
Закрытый
1.2 Логические законы, связки и операторы ↗
2 340
2 340
17м 13с
20
Закрытый
1.3 Построение таблиц истинности ↗
1 858
1 492
1м 11с
17

2. Суждения и выводы из них

3 урока
Закрытый
2.1 Выводы из простых суждений ↗
1 656
1 383
1м 20с
15
Закрытый
2.2 Силлогистика ↗
1 507
1 507
10м 42с
11
Закрытый
2.3 Сориты и полисиллогизмы ↗
1 416
1 289
8м 56с
13

3. Разрешающие процедуры

6 уроков
Закрытый
3.1 Система натурального вывода ↗
1 386
1 257
6м 49с
11
Закрытый
3.2 Семантические таблицы ↗
1 330
1 235
0м 12с
7
Закрытый
3.3 Исчисление секвенций ↗
1 306
1 306
10м 48с
6
Закрытый
3.4 Дизъюнктивно и конъюнктивно нормальные формы ↗
1 306
1 306
4м 20с
7
Закрытый
3.5 Аналитические таблицы ↗
1 304
1 304
3м 17с
9
Закрытый
3.6 Аксиоматические исчисления ↗
1 281
1 281
4м 54с
8

4. Неклассическая логика

3 урока
Закрытый
4.1 Модальная логика ↗
1 341
1 214
1м 35с
7
Закрытый
4.2 Индуктивные и правдоподобные умозаключения ↗
1 294
1 209
2м 46с
7
Закрытый
4.3 Расширение классической логики ↗
1 284
1 284
9м 27с
8

5. Приложения

2 урока
Закрытый
5.1 Справочные формулы ↗
1 347
1 347
7м 23с
8
Закрытый
5.2 Задания для самопроверки ↗
1 474
1 308
2м 4с
5