| Найдено документов - 8 | Найти похожие: "Индекс УДК" = '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
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА-УЧЕБНИКИ И ПОСОБИЯ
Аннотация: В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики. Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов.
Экземпляры: Всего: 49, из них: абмл-40, абнл-1, абст-1, к/х7-3, чзнл-1, чзуч-2, ЭБС-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. Книга
Гординг Ларс (1919-2014).
Задача Коши для гиперболических уравнений / Ларс Гординг; перевод с английского Б.П.Панеяха; под ред. А.А.Дезина. - Москва : Издательство иностранной литературы, 1961. - 122 с. - (Библиотека сборника "Математика"). - Доп. тит. л.: Cauchy's problem for hyperbolic equations. Lectures by L. Garding. - Библиогр.: с 121 (12 назв.).
Задача Коши для гиперболических уравнений / Ларс Гординг; перевод с английского Б.П.Панеяха; под ред. А.А.Дезина. - Москва : Издательство иностранной литературы, 1961. - 122 с. - (Библиотека сборника "Математика"). - Доп. тит. л.: Cauchy's problem for hyperbolic equations. Lectures by L. Garding. - Библиогр.: с 121 (12 назв.).
Авторы: Гординг Ларс
Шифры: 517 - Г 682
Ключевые слова: ЗАДАЧИ КОШИ, ГИПЕРБОЛИЧЕСКИЕ УРАВНЕНИЯ, ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ, ГИПЕРБОЛИТИЧЕСКИЕ
Аннотация: Публикуемые лекции известного шведского математика Л. Гординга посвящены задаче Коши для общего гиперболического уравнения произвольного порядка. В заключительном параграфе рассмотрены гиперболические системы первого порядка. Используемые методы (рассмотрение левой части уравнения как оператора в том или ином функциональном пространстве) позволяют получить в указанной задаче весьма общие и законченные результаты .Книга будет интересна для математиков — студентов, аспирантов и научных работников, — в первую очередь для тех, кто занимается дифференциальными уравнениями и функциональным анализом.
Экземпляры: Всего: 3, из них: к/х7-3
Прямая ссылка:
8. Книга
Новиков П.С. (1901-1975).
Элементы математической логики / П.С. Новиков. - Москва : Физматгиз, 1959. - 400 с. - (Математическая логика и основания математики).
Элементы математической логики / П.С. Новиков. - Москва : Физматгиз, 1959. - 400 с. - (Математическая логика и основания математики).
Авторы: Новиков П.С.
Шифры: 51 - Н 731
Ключевые слова: МАТЕМАТИЧЕСКАЯ ЛОГИКА-УЧЕБНИКИ И ПОСОБИЯ
Аннотация: В книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики. Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов.
Экземпляры: Всего: 3, из них: к/х7-3
Прямая ссылка: