2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2
 
 Re: Книга по математической логике
Сообщение12.07.2011, 21:39 
Клини Математическая логика

 
 
 
 Re: Книга по математической логике
Сообщение19.10.2011, 18:33 
Аватара пользователя
jms в сообщении #152901 писал(а):
Всем привет,

какая по Вашему мнению наиболее хорошая книга по мат. логике?

Под хорошестью подразумеваю:
- излагающая предмет наиболее общепринятым способом
- системность в изложении
- охватывающая наиболее полно важные результаты в этой области


наиболее полно общепринято - полно в смысле общепринятости,
то есть должно впитать всё и отсечь необщепринятое - что останется?

Мендельсон Э. Введение в математическую логику Никольская И.Л. Математическая логика Мальцев А.Н. Алгоритмы и рекурсивные функции Мальцев А.И. Избранные труды, в 2-х томах Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов Крайзель Г. Исследования по теории доказательств Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику Клини С.К. Математическая логика Гохман А.В. Сборник задач по математической логике и алгебре множеств Гилберт Д., Аккерман В. Основы теоретической логики ...

 
 
 
 Re: Книга по математической логике
Сообщение27.03.2015, 10:24 
Логика естественных рассуждений
Автор: Кулик Б.А.
Издательство: СПб.: Невский Диалект, под редакцией Дюка В. А.
Год издания: 2001
Страницы: 128
В доступной форме излагается оригинальная математически обоснованная методика моделирования и анализа рассуждений на естественном языке :P :P
http://booksshare.net/index.php?id1=4&c ... &book=2001

 
 
 
 Re: Книга по математической логике
Сообщение03.04.2015, 12:14 
Не много хорошей литературы по логике)
http://booksshare.net/index.php?id1=4&category=logics

 
 
 [ Сообщений: 19 ]  На страницу Пред.  1, 2


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group