LINUX.ORG.RU

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


0

0

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

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

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

★★★★★

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

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

anonymous ()
Ответ на: Re: [книга] Матлогика от anonymous

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

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

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

a3 ()
Ответ на: Re: [книга] Матлогика от a3

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

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

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

anonymous ()
Ответ на: Re: [книга] Матлогика от a3

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

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

anonymous ()
Ответ на: Re: [книга] Матлогика от anonymous

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

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

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

anonymous ()
Ответ на: Re: [книга] Матлогика от anonymous

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

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

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

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

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

Sectoid ★★★★★ ()

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

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

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

PS Классика

anonymous ()
Ответ на: Re: [книга] Матлогика от anonymous

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

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

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

a3 ()
Ответ на: Re: [книга] Матлогика от a3

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

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

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

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

anonymous ()
Ответ на: Re: [книга] Матлогика от anonymous

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

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

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

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

Sectoid ★★★★★ ()
Ответ на: Re: [книга] Матлогика от anonymous

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

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

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

a3 ()

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

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

dilmah ★★★★★ ()
Ответ на: Re: [книга] Матлогика от a3

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

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

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

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

Unipolar ()
Ответ на: Re: [книга] Матлогика от anonymous

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

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

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

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