обучение программированию с нуля бесплатно

Лекция 18
28-03-2016
ЛОГИКА
Логика начала математизировать в 19 веке. Например Буль ввел конъюнкцию и дизъюнкцию и определил их с помощью таблицы истинности.
Основоположенник силлогистики – Аристотель (логика высказываний).
В логике высказываний («пропозициональная логика»): состоит из :
1) Пропорциональных параметров $A, B, C$
2) Логические операции ($ \rightarrow , \&,… $ и т.д.)
3) «Скобки»

Например: $(A \rightarrow B) \rightarrow (B \& C) $ -- пример выражения логики высказывания.

Лекция 17 – 21 марта 2016

ТЕОРИЯ МНОЖЕСТВ

Теория множеств появилась в 19 веке. Её основоположеником считает Кантор. Когда были открыты парадоксы в теории множеств ввели дополнительный термин «классы». Классы – это вообще всё что можно описать как-то. Так например «множество всех множеств» - называется классом, «собственным классом».

Таким образом речь идёт о классах, среди них выделяются множества. ТО есть такие классы. Которые не ведут к противоречиям (парадоксам) теории множеств.

Лекция 16
29-02-2016

В тот раз мы говорили об истории и о Канте (из личностей). Сегодня же перейдём непосредственно к философии математики.

Этой философией занимаются не только философы, но и во многом математики.

Но ещё раз уточним – чем занимается философия?

Некоторые неучи считают, что философы занимаются непонятно чем. Но иногда и экономисты занимаются непонятно, да и физики (за рубежом в том числе) измудряются получить гранты за псевдо-статьи.