LINUX.ORG.RU
ФорумTalks

Логика


0

0

Начал тут с gprolog, надо бы толковый учебник по логике, есть ли что?

Чтонибудь в связке начиная с рекурсий итд.

Вопрос в догонку когда перестали преподавать в советской школе формальную логику?

SatanClaus ★★★
() автор топика
Ответ на: комментарий от SatanClaus

Ладно, зарекался уже вопросы на форумах задавать. Больше не буду.

SatanClaus ★★★
() автор топика

Тебя формальная или математическая интересует?

А вообще, пятница, вечер - не самое лучшее время для вопросов. Все давно пьют пиво.

annoynimous ★★★★★
()
Ответ на: комментарий от annoynimous

Да и тем более. Гугл наш друкк. Только повозиться придется. Блин ну как не охота в библиотеку переться

SatanClaus ★★★
() автор топика
Ответ на: комментарий от annoynimous

Убить всех людей. А потом блэкджек и шлюхи

SatanClaus ★★★
() автор топика

> надо бы толковый учебник по логике, есть ли что?

Э. Мендельсон -- наше фсё!

anonymous
()

Логика для алгебраистов:

Расева, Сикорский: Математика Метаматематики.

dilmah ★★★★★
()
Ответ на: комментарий от spinore

>Ну я жофига видел книг по логике, в чём проблема-то??

Как раз в том что их дофига, спасибо за ответы;) Вчера перебрал чегото с расстройства, так что извините за резкий тон.

SatanClaus ★★★
() автор топика
Ответ на: комментарий от SatanClaus

> когда перестали преподавать в советской школе формальную логику?

В _школе_? В смысле, в рамках среднего образования? А её там когда-то преподавали?

Xellos ★★★★★
()
Ответ на: комментарий от Xellos

В советской школе не было отдельного предмета "логика". Детишков учили правильно мыслить и разсуждать на уроках геометрии и вообще математики. Теоремы, доказательства, контрпримеры, индукция, система Аксиом... Все это давалось там.

Детишки пищали и сопротивлялись :-)

Beria.

anonymous
()
Ответ на: комментарий от anonymous

Ну это я ещё помню. Как-никак, в советской школе учился. Правда, в конце 80х математика в советской школе была ... гм, не в лучшем состоянии. И метод математической индукции в обычной, не математической школе, 100% не давали.

Xellos ★★★★★
()
Ответ на: комментарий от Xellos

В Московских Лицеях - преподают.

Что-нибудь вроде 1303, СУНЦ'а

Lockywolf ★★★
()

Неплохая книжка: Л.Стерлинг Э.Шапиро "Искусство программирования на языке пролог". Москва, "Мир" 1990

Shmuma
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.