:)

Лекция, 19-30

Поскольку праздники вроде как закончились, для желающих - лекция по логике.

Повторение 5 мая, силлогистика.



)(
:)

Такие дела

В связи с тем, что эти дни, оказывается, многие считают праздничными, а также и дачной погодой, лекции сегодня не будет. Она переносится на пятницу.
:)

Вторник, новая лекция

Сегодня временно возвращаемся к дедукции на уровне логики высказываний. "То же самое, только без рук" - то есть дедуктивный вывод без таблиц истинности, только по правилам вывода.

:)

Пятница, повторение вторника

Продолжаем разбираться с логикой предикатов и записью высказываний на её языке. Переменные связанные и свободные. Первопорядковая логика и логики более высоких порядков. Предметные функции и их использование.

В общем, завершаем тему языка логики предикатов.



)(
:)

Вторник, новая лекция

Продолжаем разбираться с логикой предикатов и записью высказываний на её языке. Переменные связанные и свободные. Первопорядковая логика и логики более высоких порядков.

:)

Пятница, повторение вторника

Сегодня начинаем логику предикатов. Ну то есть Настоящую Большую Логику, где мы уже не с предложениями в целом работаем, а залезаем внутрь преложения.

Все основные вещи будут сказаны сегодня, так что рекомендую прийти всем, кто может.

:)

Вторник, лекция (новая)

Сегодня начинаем логику предикатов. Ну то есть Настоящую Большую Логику, где мы уже не с предложениями в целом работаем, а залезаем внутрь преложения.

Все основные вещи будут сказаны сегодня, так что рекомендую прийти всем, кто может.

:)

Пятница, повторение прошлой пятницы

В силу того, что вторничную лекцию я провести не смог - повторение сегодня.

Тема - дедукция. Изучать её будем, разумеется, на примерах из конан-дойлевского Шерлока Холмса, как ещё. Будем критиковать и искать ошибки у великого сыщика.

Кто пропустил одну или несколько лекций и хочет снова влиться - самое время: потом у нас начнутся другие темы. Приходите.

Как всегда - 19-30.