НГУ

Форумы НГУ
Текущее время: Вт ноя 19, 2019 8:04 am

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ Сообщений: 3 ] 
Автор Сообщение
СообщениеДобавлено: Пн сен 05, 2011 5:00 pm 
Не в сети
Постоянный посетитель

Зарегистрирован: Сб ноя 03, 2007 12:57 pm
Сообщения: 174
Откуда: Владимир Парфиненко
Поступив в магистратуру ММФ, все-таки решил, что надо бы подтянуть знания в незнакомых областях. В связи с этим, что можно почитать по ТА, мат.логике? Хотелось бы услышать рекомендации на серьезные книжки, без лишней воды.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Пн сен 05, 2011 7:17 pm 
Не в сети
Частый гость

Зарегистрирован: Вт окт 05, 2010 7:12 pm
Сообщения: 22
\


Последний раз редактировалось smersh Вс авг 30, 2015 5:10 pm, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Сб сен 10, 2011 5:02 pm 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт июн 18, 2004 10:34 pm
Сообщения: 4435
Откуда: Сергей Подзоров
CypoK писал(а):
В связи с этим, что можно почитать по ТА, мат.логике?

Ершов, Палютин, "Математическая логика" :)

Это в первую очередь. Ну а далее надо смотреть, где будете специализироваться. Может быть, ничего больше и не надо. По крайней мере, для каких-нибудь диффурщиков точно ничего не надо. А если бы специализировались на матлогике, наверняка сами бы знали, что читать, и вопрос бы не понадобился :)

Помимо Ершова-Палютина есть ещё хорошие московские методички, авторы Верещагин и Шень. В интернете их вроде несложно найти. Написаны более простым языком, чем тот же Ершов-Палютин.

_________________
Don't let the sun blast your shadow
Don't let the milk float ride your mind


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: MSN [Bot] и гости: 6


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB