fkn+antitotal

Английская документация: http://propelorm.org/documentation/

Заметки на русском о Propel ORM

1. Создание проекта
2. Создать или обновить запись, если объект существует
3. SELECT WHERE -- пример

Слева в пхпшторме обычно есть окно структуры проекта:

1. Кликните по нужной папке (или по корневой папке проекта)
2. И нажмите Ctrl + Shift + F -- чтобы открыть окно поиска

Здесь сведения по настройке пхпшторма

1. Изменить шрифт
2. Создание шаблона (пользовательское автодополнение кода)

В latex амперсанд является спецсимволом и его нужно просто экранировать:

\&

даст нам:
$\Large \&$

25 апреля 2016

Лекция 20 (последнее занятие в 2016-ом)

Тут мы будем разбирать вопросы к экзамену
Что читать (специальная часть – для математиков):
1) Перминов В. Я. – Философия и основания математики
2) Арепьев Е. И. Аналитическая философия математики
3) Рузавин – Философские проблемы основания математики

18-04-2016
Лекция 20

ПЛАТОНИЗМ ПРОТИВ НОМИНОЛИЗМА

Сегодня у нас будет чисто «философская» (или «более философская») лекция.

Несколько раз мы начинали говорить о том, как нужно относится к математическим объектам – существуют ли они или нет, если существуют то где и т.д.
Платонизм – здесь люди считают, что реально существуют некие мат объекты. Обычно выделяют три критерия, которым должны соответствовать объекты чтобы удовлтворять позиция платонистов:

ФОРМАЛИЗМ

Бритва Оккама – не нужно постулировать объекты, если можно без них обойтись. На основании этого формалисты не определяют числа – т.к. они не уверены что существует что-то абстрактное.

Возникает вопрос – как данный подход сочетается с реальной математической практикой?
Ещё вариант – математика просто изучает значки.
В 20 веке были ультрафинитисты – они считали, что в принципе не существует больших чисел.
Маленькие числа можно интерпретировать как материальные объекты, а вот большие числа – далеко не любые.

Лекция 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

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

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

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

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