Задачник и решебник по мат логике

956login

Моя цель: Научиться решать задачи по мат. логике самостоятельно.
Мое решение: Скачать задачник и решебник по мат. логике.
Поэтому:
Подскажите задачник и решебник по математической логике.
Нашел "Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов", но как таковых решений там мало.
Или я чего-то не понимаю?

igor196505

Если есть время, то я бы рекомендовал ознакомиться с вот этим (если ещё не читали):
Лекции по математической логике и теории алгоритмов (в 3-х частях)
Часть 1. Начала теории множеств
Часть 2. Языки и исчисления.
Часть 3. Вычислимые функции
Автор: Верещагин Н.К., Шень А.
ссылка на первую часть в библиотеке мехмата:
http://lib.mexmat.ru/books/62
Задачи вроде там тоже присутствуют... но рекомендую в первую очередь потому что авторы хорошие.
PS:думаю, в закреплённой теме сверху помогут скачать все три части из мехматовской библиотеки.

nely25

Какая ещё библиотека мехмата. Это свободно-распространяемое издание, которое можно скачать со странички автора: ftp://ftp.mccme.ru/users/shen/logic

igor196505

Ну тем более... наверно можно и в печатном виде купить при желании...

Xephon

Читайте учебник Мендельсона, там же есть и задачи.

sven1969

я бы на твоем месте не стал время терять и пошел бы договариваться с Гашковым
Оставить комментарий
Имя или ник:
Комментарий: