| |||
|
A. Шень - логика - лекции - 1 У Александра Шеня есть три книжки 1. Теория Множеств 2. Языки и исчисления 3. Вычислимые множества Это три составляющие того, что в МГУ называют Логикой. Сегодня логика содержит теорию языков и теорию вычислений вместе с теоремой Геделя A. Шень - логика - лекции - 2 A. Шень - логика - лекции - 3 У Непейводы логика содержит 80 процентов философии. Некоторые ученые, когда становятся совсем крутыми, ничем, кроме философии заниматься не могут, и преподают разные предметы (например информатику, физику, логику, географию в конце концов) а на самом деле один -- философию. В принципе в этом ничего плохого нет Но если кому то интересна логика, а не философия, то лучше читать Шеня а не Непейводу. Непейвода - материалы семинара Институт философии 5 декабря 2003 года Сайт Непейводы С любезного разрешения издательства РХД представляю книгу. Н. Н. Непейвода, И. Н. Скопин Основания программирования. Москва, Ижевск. 2003 г. [~4Mb PDF/zip] (11.09.2003) |
