Лекции по математической логике и теории алгоритмов. В 3 частях

Категория » КНИГИ » НАУКА и УЧЕБА

Лекции по математической логике и теории алгоритмов. В 3 частяхНазвание: Лекции по математической логике и теории алгоритмов. В 3 частях
Автор:
Издательство: МЦНМО (Москва)
Год: 1999, 2000
Страниц: 128, 291, 176
Формат: pdf (в rar)
Размер: 13,2 мб, в т. ч. 3% на восстановление
Качество: хорошее (300 dpi, текстовый слой)
Язык: русский
Для сайта: MirKnig.Com
Залито на: dfiles.ru, rusfolder.com

Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В первой части рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Во второй части В ней идет речь об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). В третьей части говорится об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств, теории алгоритмов.


Поделиться ссылкой:
  • 100
5 from 5 total 2
Автор: NET_master | 28 июля 2007 | Авторские права (abuse)
Реклама

Книги онлайн:

Три очерка по теории сексуальности
Три очерка по теории сексуальности
Автор: Фрейд Зигмунд Название: Три очерка по теории сексуальности Формат: EBook, FB2, HTML, SWF Страниц: 98 Год: 1990 г. Для сайта: mirknig.mobi ... Читать онлайн
Мечты об окончательной теории
Мечты об окончательной теории
Автор: Вайнберг Стивен Название: Мечты об окончательной теории Формат: EBook, FB2, HTML, SWF Страниц: 180 Год: 2004 г. Для сайта: mirknig.mobi В ... Читать онлайн
Нерешенные проблемы теории эволюции
Нерешенные проблемы теории эволюции
Автор: Красилов Валентин Абрамович Название: Нерешенные проблемы теории эволюции Формат: EBook, FB2, HTML, SWF Страниц: 82 Размер: 596K Для сайта: mir ... Читать онлайн
Основы теории политических партий
Основы теории политических партий
Автор: Данилов Всеволод Название: Основы теории политических партий Формат: EBook, FB2, HTML, SWF Страниц: 151 Год: 2007 г. Для сайта: mirknig.mobi ... Читать онлайн

Другие книги по теме:

Курс лекций по математической логике и теории алгоритмов
Курс лекций по математической логике и теории алгоритмов
Автор: Ф.К. Алиев Название: Курс лекций по математической логике и теории алгоритмов Издательство: Москва Год: 2003 Формат: doc Размер: 4.32 Mib Для сайта: MirKnig.com В настоящем учебном пособии ... Скачать
Задачи и упражнения по математической логике и теории алгоритмов
Задачи и упражнения по математической логике и теории алгоритмов
Название: Задачи и упражнения по математической логике и теории алгоритмов Автор: Игошин В. И. Издательство: Издательский центр «Академия» Год: 2007 Страниц: 304 Формат: DJVU Размер: 2,5 Мб ISBN: ... Скачать
Языки и иcчисления. Лекции по математической логике и теории алгоритмов.
Языки и иcчисления. Лекции по математической логике и теории алгоритмов.
Название: Языки и иcчисления. Лекции по математической логике и теории алгоритмов. Автор: Верещагин Н.К., Шень А. Издательство: М.: МЦНМО Год: 2002 Страниц: 288 Формат: pdf Размер: 1.36 Мб ISBN: ... Скачать
Задачи по теории множеств, математической логике и теории алгоритмов
Задачи по теории множеств, математической логике и теории алгоритмов
Название: Задачи по теории множеств, математической логике и теории алгоритмов Автор: Лавров И.А., Максимова Л.Л. Издательство: Физматлит Год: 2004 Страниц: 256 Формат: DJVU Размер: 1.6 Мб Качество: ... Скачать
Курс лекций по логике и теории алгоритмов
Курс лекций по логике и теории алгоритмов
Автор: Шехтман В.Б. Название: Курс лекций по логике и теории алгоритмов Издательство: Москва Год: 2006 Формат: pdf Размер: 1.3 Mb Для сайта: MirKnig.com Математика и компьютер. Логика высказываний. ... Скачать
Теория алгоритмов: основные открытия и приложения
Теория алгоритмов: основные открытия и приложения
Название: Теория алгоритмов: основные открытия и приложения Автор: Успенский В.А., Семенов А.Л. Издательство: Наука Год: 1987 Страниц: 288 Формат: djvu Размер: 3.54 Мб Качество: среднее Язык: русский ... Скачать
Математическая логика и теория алгоритмов
Математическая логика и теория алгоритмов
Название: Математическая логика и теория алгоритмов Автор: Игошин В.И. Издательство: Издательский центр «Академия» Год: 2008 Страниц: 448 Формат: djvu Размер: 6.70 Мб ISBN: 978-5-7695-4593-1 ... Скачать
Современные лекционные курсы по математической логике и теории алгоритмов в ...
Современные лекционные курсы по математической логике и теории алгоритмов в ...
Название: Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.) Автор: Верещагин Н. К., Шень А. Год издания: 2012 Издательство: МЦНМО ... Скачать
Лекции по математической теории устойчивости
Лекции по математической теории устойчивости
Название: Лекции по математической теории устойчивости Автор: Демидович Б.П. Год: 1967 Страниц: 472 Издательство: Наука Формат: PDF Качество: хорошее Размер: 12,4 Мб Систематически излагаются основы ... Скачать
Сборник задач по математической логике и алгебре множеств
Сборник задач по математической логике и алгебре множеств
Название: СБОРНИК ЗАДАЧ ПО МАТЕМАТИЧЕСКОЙ ЛОГИКЕ И АЛГЕБРЕ МНОЖЕСТВ Автор: Гохман А.В. Издательство: Саратовский университет Год издания: 1969 Страниц: 91 Язык: русский ... Скачать
Математическая логика и ее применения
Математическая логика и ее применения
Автор: Нагел Э., Саппс П., Тарский А. Название: Математическая логика и ее применения Издательство: М.: Мир Год: 1965 Количество страниц: 341 Формат: pdf Размер: 8 mb Для сайта: MirKnig.com ... Скачать
Элементы теории алгоритмов
Элементы теории алгоритмов
Автор: Варпаховский Ф. Название: Элементы теории алгоритмов Издательство: Просвещение Год: 1970 Формат: pdf Размер: 2,1 Мб Для сайта: MirKnig.com В настоящее время на русском языке имеется ... Скачать
 Добавленный комментарий    (15 января 2014 16:02)


Cтатус:
Посетитель
Публикаций: 0
Комментариев: 134
К сожалению, все ссылки приказали долго жить...
 Добавленный комментарий    (17 января 2014 16:00)


Cтатус:
Журналист
Публикаций: 1384
Комментариев: 1158
Восстановленные ссылки:
 Добавленный комментарий    (17 января 2014 16:22)


Cтатус:
#  Редактор года
Публикаций: 4387
Комментариев: 12401
ewgeniy-new, ссылки в новости


--------------------
Цитата дня: МИР. Мы сами строим свою реальность.
 Добавленный комментарий    (17 января 2014 21:25)


Cтатус:
Посетитель
Публикаций: 0
Комментариев: 134
Спасибо! (Merci beaucoup!) drinks
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.