| Найдено документов - 7 | Найти похожие: "Индекс УДК" = '517.11' | Версия для печати |
Сортировать по:
1. Книга
Мартин-Лёф П.
Очерки по конструктивной математике / П. Мартин-Лёф ; перевод с английского Минца Г.Е.; под ред. Драгалина А.Г. - М. : Мир , 1975. - 136 с. : ил. - (Библиотека сборника "Математика"). - Библиогр.: с 128-131.
Очерки по конструктивной математике / П. Мартин-Лёф ; перевод с английского Минца Г.Е.; под ред. Драгалина А.Г. - М. : Мир , 1975. - 136 с. : ил. - (Библиотека сборника "Математика"). - Библиогр.: с 128-131.
Авторы: Мартин-Лёф П.
Шифры: 517 - М 292
Ключевые слова: МАТЕМАТИКА
Экземпляры: Всего: 6, из них: к/х7-3, чзнл-2, чзуч-1
2. Книга
Новиков П.С. (1901-1975).
Элементы математической логики / П.С. Новиков. - 2-е изд.,исправл. - Москва : Наука, 1973. - 399 с. - (Математическая логика и основания математики).
Элементы математической логики / П.С. Новиков. - 2-е изд.,исправл. - Москва : Наука, 1973. - 399 с. - (Математическая логика и основания математики).
Авторы: Новиков П.С.
Шифры: 517 - Н 731
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА-УЧЕБНИКИ И ПОСОБИЯ
Аннотация: В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики. Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов.
Экземпляры: Всего: 52, из них: абмл-40, абнл-1, абст-1, к/х7-3, чзнл-1, чзуч-5, ЭБС-1
Ссылка на ресурс: http://elibrary.mai.ru/MegaPro/Download/ToView/54506?idb=NewMAI2014
3. Книга
Клини С.К.
Математическая логика / С.К. Клини ; перевод с английского Гастева Ю.А., под ред. Минца Г.Е. - М. : Мир, 1973. - 480 с. - Библиогр.: с.451-465.
Математическая логика / С.К. Клини ; перевод с английского Гастева Ю.А., под ред. Минца Г.Е. - М. : Мир, 1973. - 480 с. - Библиогр.: с.451-465.
Авторы: Клини С.К.
Шифры: 517 - К 493
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА
Экземпляры: Всего: 33, из них: абмл-28, к/х7-1, МАТИ-АТ-2, чзнл-1, чзуч-1
4. Книга
Машины Тьюринга и рекурсивные функции / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман, Г. Хермес ; перевод с немецкого Белаги Э.Г. - М. : Мир, 1972. - 264 с. : ил. - (Современная математика). - Библиогр. в конце разделов.
Авторы: Эббинхауз Г.-Д., Якобс К., Ман Ф.-К., Хермес Г.
Шифры: 517 - М 382
Ключевые слова: МАШИНЫ ТЬЮРИНГА
Экземпляры: Всего: 6, из них: абнл-1, к/х7-1, чзнл-3, чзуч-1
5. Книга
Шрейдер Ю.А.
Равенство, сходство, порядок / Ю.А. Шрейдер. - М. : Наука, 1971. - 254 с. : ил.
Равенство, сходство, порядок / Ю.А. Шрейдер. - М. : Наука, 1971. - 254 с. : ил.
Авторы: Шрейдер Ю.А.
Шифры: 51 - Ш 861
Экземпляры: Всего: 3, из них: к/х7-2, чзуч-1
6. Книга
Мендельсон Э. (1931-2020).
Введение в математическую логику / Э. Мендельсон ; перевод с английского Кабакова Ф.А.; под ред. Адяна С.И. - Москва : Наука, 1971. - 320 с. : ил. - Библиогр.:с 296-309.
Введение в математическую логику / Э. Мендельсон ; перевод с английского Кабакова Ф.А.; под ред. Адяна С.И. - Москва : Наука, 1971. - 320 с. : ил. - Библиогр.:с 296-309.
Авторы: Мендельсон Э.
Шифры: 51 - М 501
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА-УЧЕБНИКИ И ПОСОБИЯ, ТЕОРИЯ АЛГОРИТМОВ-УЧЕБНИКИ И ПОСОБИЯ
Аннотация: В книге сравнительно небольшого объема освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предикатов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте.
Экземпляры: Всего: 50, из них: абмл-44, абст-2, к/х7-2, чзуч-2
7. Книга
Новиков П.С. (1901-1975).
Элементы математической логики / П.С. Новиков. - Москва : Физматгиз, 1959. - 400 с. - (Математическая логика и основания математики).
Элементы математической логики / П.С. Новиков. - Москва : Физматгиз, 1959. - 400 с. - (Математическая логика и основания математики).
Авторы: Новиков П.С.
Шифры: 51 - Н 731
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА-УЧЕБНИКИ И ПОСОБИЯ
Аннотация: В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики. Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов.
Экземпляры: Всего: 3, из них: к/х7-3