Логика

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

а ее там вообще преподавали?

Ну я видел учебник, единственное что подошло это C.K. Kлини.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Beria.

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

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

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

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