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

7. Проблема как форма научного познания

эпиграф:

«Я могу ошибаться, а вы можете быть правы; сделаем усилие, и мы, возможно, приблизимся к истине»
-(ц) формалу Карла Поппера

Проблема − форма теоретического знания, содержанием которой является то, что еще не познано человеком, но что нужно познать.

2. Генезис (происхождение) науки и проблемы периодизации ее истории

Наука не есть нечто неизменное.
Она представляет собой развивающуюся целостность, исторический феномен.

Отсюда возникает проблема периодизации истории науки, т. е. выделение качественно своеобразных этапов ее развития («эволюционный срез»).

При этом следует понимать, что часто чёткой границы между разными этапами развития чего-либо в истории нет, один этап плавно перетекает в другой.

propel nable to execute INSERT statement [INSERT INTO (`id`) VALUES (:p0)

Убедитесь, что вы не передаёте пустое значение. (так это и было моём случае).

Полный текст ошибки:

Вроде такой темы в пхпшторм до сих пор нет, зато она есть в нетбинс

Устанавливать будем с помощью композера -- в корне проекта (сайта) создаём файл 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 веке. Её основоположеником считает Кантор. Когда были открыты парадоксы в теории множеств ввели дополнительный термин «классы». Классы – это вообще всё что можно описать как-то. Так например «множество всех множеств» - называется классом, «собственным классом».

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