Математическая логика Год выпуска: 2006Автор: И. А. ЛавровИздательство: АкадемияСтраниц: 240ISBN: 5-7695-2735-8Описание В учебном пособии изложены основы современного подхода к изучению математических теорий с привлечением логических понятий и методов, а также концепция программы Д.Гильберта о построении математических теорий аксиоматическим путем. Рассмотрены аксиоматические теории для множеств натуральных и действительных чисел и для геометрии. Для студентов высших учебных заведений.
Похожие книги
В.А. Успенский, Н.К. Верещагин, В.Е. Плиско. Вводный курс математической логики. – М.: ФИЗМАТЛИТ, 2002. – 128 с. А.Н. Колмогоров, А.Г. Драгалин. Математическая логика. Введение в математическую логику. – М.: Едиториал УРСС, 2013. – 240 с. А.Н. Колмогоров, А.Г. Драгалин. Математическая логика. Дополнительные главы. – М.: Едиториал УРСС, 2013. – 240 с. М.М. Глухов, А.Б. Шишков. Математическая логика. Дискретные функции. Теория алгоритмов. – СПб.: Лань, 2012. – 416 с. С.Д. Шапорев. Математическая логика. Курс лекций и практических занятий. – СПб.: БХВ-Петербург, 2005. – 416 с. В.М. Зюзьков, А.А. Шелупанов. Математическая логика и теория алгоритмов. – М.: Горячая Линия - Телеком, 2007. – 176 с. М.М. Глухов, О.А. Козлитин, В.А. Шапошников, А.Б. Шишков. Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов. – СПб.: Лань, 2008. – 112 с. А.К. Гуц. Математическая логика и теория алгоритмов. – М.: Либроком, 2009. – 120 с. А.А. Набебин, Ю.П. Кораблин. Математическая логика и теория алгоритмов. – М.: Научный мир, 2008. – 344 с. М.В. Триумфгородских. Дискретная математика и математическая логика для информатиков, экономистов и менеджеров. – М.: Диалог-МИФИ, 2011. – 184 с. Ю.Л. Ершов, Е.А. Палютин. Математическая логика. – М.: ФИЗМАТЛИТ, 2011. – 356 с. В.И. Игошин. Математическая логика (+ CD-ROM). – М.: Инфра-М, 2012. – 400 с. Л.М. Лихтарников, Т.Г. Сукачева. Математическая логика. – СПб.: Лань, 2008. – 288 с. И.А. Лавров, Л.Л. Максимова. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: ФИЗМАТЛИТ, 2004. – 256 с. Р.Л. Гудстейн. Математическая логика. – М.: Государственное издательство иностранной литературы, 1961. – 164 с. А.А. Марков. А. А. Марков. Избранные труды. Том 2. Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. – М.: МЦНМО, 2007. – 650 с. П.С. Новиков. Элементы математической логики. – М.: Государственное издательство физико-математической литературы, 1959. – 40 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Дина Юля, спасибо большое за консультацию. Оценка "отлично" без лишних комментариев:)
