ты не в логике специализировался?
Нет, но кафедра из чисто математических ближе всех к логике была (исследование операций фактически ближе, но считалась прикладной, что ли).

Тебе что нужно? Просто учебник по мат. логике? Или новейшие достижения, или что-то ещё?

(Reply to this) (Parent) (Thread)

Учебник, с такими предпочтениями: чем круче заварен и систематичней, тем лучше. К примеру, как Ленг для алгебры. Чем новее, тем лучше. Если глава будет по автоматическому выводу, очень хорошо.

(Reply to this) (Parent) (Thread)

Пойду несколько против твоих предпочтений: нынче вот Саратов моден http://lj.rossia.org/users/boza/264208.html , может книжку Игошина почитать по-быстрому — неплохая идея, он родом из Саратова? "Математическая логика и теория алгоритмов", 2-е издание, 2008 г. Это некруто заварено, наверное, но в принципе относительно быстрое чтение может быть более систематичным, чем какой-нибудь менее педагогической книжки.

А там уж разбираться: если ничего интересного нет и всё понятно, то читать уж прямо про автоматический вывод специальное и т.п.

По идее читать и уточнить понимание основных тем так быстрее.

(Reply to this) (Parent) (Thread)

Начал читать. Там советуется взять также задачник того же автора. Взял задачник, начал также решать задачи, но на 8 упражнении меня заломало, т.к. уж слишком тупенькие они.

(Reply to this) (Parent) (Thread)

Если про задачник, то штудировать можно для начала избранные места Лавровой, Максимова (по нему вроде бы успешно учат уже много лет) — только не надо решать все подряд.

Я этот вариант предлагал для быстрого чтения, чтобы заткнуть дырки в знаниях, коли есть. Решать в количествах упражнения на знакомые темы смысла немного, конечно, особенно если учесть, что ты в логике по Бурбакам успел поковыряться.

(Reply to this) (Parent)