LINUX.ORG.RU
ФорумTalks

[книга] Матлогика

 


0

0

Доброго времени суток всем!

Вчера внезапно осознал, что паршиво знаю матлогику. Решил подтянуть эту область. Посоветуйте хорошую литературу.

Заранее спасибо.

★★★★★

Колмогоров А.Н., Драгалин А.Г. "Введение в математическую логику" и "Математическая логика. Дополнительные главы".
На lib.homelinux.org имеется.
Там же других книг по теме полно.

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

> На lib.homelinux.org имеется.

A username and password are being requested by http://lib.homelinux.org. The site says: "- ß, ìóõà-ãîðþõà, à òû êòî? - À ÿ áëîõà ïîïðûãóõà. - Ñòóïàé êî ìíå æèòü. Ïðûãíóëà áëîõà-ïîïðûãóõà â ....... è ñòàëè îíè æèòü âäâîåì. (èç 7 áóêâ)? (…"

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

>A username and password are being requested by http://lib.homelinux.org. The site says: "- ß, ìóõà-ãîðþõà, à òû êòî? - À ÿ áëîõà ïîïðûãóõà. - Ñòóïàé êî ìíå æèòü. Ïðûãíóëà áëîõà-ïîïðûãóõà â ....... è ñòàëè îíè æèòü âäâîåì. (èç 7 áóêâ)? (…"

открой internet explorerом, в нем все показывает

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

>а также конкерором.

врядли у него в windowsе есть конкерор

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

>Колмогоров А.Н., Драгалин А.Г. "Введение в математическую логику" и "Математическая логика. Дополнительные главы".

Спасибо, посмотрю

>Там же других книг по теме полно.

Потому и создал топик, чтобы посоветовали _хорошую_ литературу.

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

Чёрч. Введение в математическую логику.

Клини. Математическая логика

PS Классика

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

> То есть ты уже не можешь сконвертировать две строчки в нужную кодировку?

KOI8-R, CP1251, CP866 не подходят? Варианты?

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

>KOI8-R, CP1251, CP866 не подходят? Варианты?

говорю эксплорером открывай

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

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

>Чёрч. Введение в математическую логику.

>Клини. Математическая логика

Спасибо, поищу

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

О как, я думал, что все о нем уже знают.

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

> а также конкерором.

Результат тот же. Просит он авторизации с вышеприведенными словами. Видимо он по-какому-то другому признаку записал меня в лузеры.

a3
()

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

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

Это карма, смирись - ты неудачник.

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

>A username and password are being requested by http://lib.homelinux.org. The site says: "- ß, ìóõà-ãîðþõà, à òû êòî? - À ÿ áëîõà ïîïðûãóõà. - Ñòóïàé êî ìíå æèòü. Ïðûãíóëà áëîõà-ïîïðûãóõà â ....... è ñòàëè îíè æèòü âäâîåì. (èç 7 áóêâ)? (…"

http://gorban.livejournal.com/40066.html

там питоновский код для получения этого текста в правильной кодировке.

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

С конкерором та же фигня кстати. Самый лулз заключен в том, что ни опера, ни ФФ, ни конкерор не дают перекопипасить этот текст в конвертировщик.

ПС: спасибо за ссылку на ЖЖ, очень облегчило шаманства

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