Форум - программирование для начинающих

Устанавливать будем с помощью композера -- в корне проекта (сайта) создаём файл composer.json с содержимым:

{
"require": {
"propel/propel": "~2.0@dev"
}
}

После чего выполняем команду (или эту её версию)

php composer.phar install

Тестируем

Чтобы протестировать работу перейдите во всю ту же корневую папку проекта, например:

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

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

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

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

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

selectbox - пример с тремя опциями:

 <select name="status-first">
	<option value="0">  ОТображаемый текст опции 1</option>
	<option value="знач2">ОТображаемый текст опции 2</option>
	<option value="значени3">  ОТображаемый текст опции 2</option>
 </select>