LINUX.ORG.RU

Уроки учи.

anonymous ()

Эвристика более практична чем логика. Налегай на нее. Логика будет бессильна, если не сможешь четко сформулировать условия задачи.

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

Пойа, Альтшуллер. Ищи что нибудь инженерное, избегай всякую эзотерику и пр. гуманитарные размышлизмы.

anonymous ()

тебе зачем? т.е. я понимаю что «программирование», но мат логика - это про деревья вывода и прочую «мат» часть. Для самого программирования, даже на хаскеле, оно не надо, наверное от слова «почти вообще». Оно для рассуждений о системах нужно: о системах типов в хаскеле, идрисе, там, агде. И то боком определённым.

Т.е. вопрос таки - зачем? Какие именно мысли наводят на то что нужно бы логику выучить?

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

а как её доказать с мат логикой? возьми вон php и поди докажи корректность программы, чего стесняться?

ДОБАВЛЕНИЕ.

Интересно ведь откуда у человека мысли появляются. Опять же надо понимать уровень подготовки человека, прежде чем ершова ему советовать.

Я бы в общем случае просто смолиана посоветовал чтобы интерес не отбить.

AndreyKl ★★★★★ ()
Последнее исправление: AndreyKl (всего исправлений: 1)
Ответ на: комментарий от iZEN

Р. Смолиан «как же называется эта книга» - http://www.logic-books.info/node/63

Интересно и познавательно.

ТС. А вообще вот тут курс на русском. Хороший вводный курс. Широкий и не через чур глубокий, вероятность потонуть не шибко велика. Для прохождения хватит подготовки 11го класса школы. Идеально будет иметь первый курс технического, естественнонаучного или мат. вуза. Начало 16 октября.

https://www.lektorium.tv/mooc2/26749

AndreyKl ★★★★★ ()
Последнее исправление: AndreyKl (всего исправлений: 3)

всем спасибо, что есть постараюсь почитать

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