Электронный каталог

Базы данных

База библиотеки "Дом А.Ф. Лосева"- результаты поиска

Вид поиска

База библиотеки "Дом А.Ф. Лосева"

Лосевский читальный зал

Газеты и журналы библиотеки "Дом А.Ф. Лосева"

Аудио и видео архив библиотеки "Дом А.Ф. Лосева"

Область поиска

в найденном

Найдено в других БД:

Лосевский читальный зал (43)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>S=Математическая логика<.>

Общее количество найденных документов : 17
Показаны документы с 1 по 10

1-10 11-17

   510.6
   Н 73

    Новиков, Петр Сергеевич (1901 - 1975).
    Элементы математической логики [Текст] / П.С. Новиков. - Москва : Государственное издательство физико-математической литературы, 1959. - 400 с. ; 21 см. - (Математическая логика и основания математики). - 15000 экз.. -

УДК

510.6

Рубрики: Математическая логика

Держатели документа:
Дом А. Ф. Лосева
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие

   51
   С 88

    Стяжкин, Николай Иванович.
    Становление идей математической логики [Текст] : [монография] / Н. И. Стяжкин ; Акад. наук СССР, Ин-т философии. - Москва : Наука , 1964. - 303, [1] с. ; 21 см. - Библиогр.: с. 277 - 298. - Указ. имен: с. 299 - 302. - 4 000 экз.. -

УДК

   510.6
   С 81

    Столл, Роберт Р..
    Множества. Логика. Аксиоматические теории [Текст] / Роберт Р. Столл ; пер. с англ. Ю.А. Гастева и И.Х. Шмаина ; под ред. Ю.А. Шихановича. - Москва : Просвещение, 1968. - 230, [1] с. ; 22 см. - (Математическое просвещение). - Пер. изд. : Sets, logic and axiomatic theories / by Robert R. Stoll. - San Francisco ; London, [1961]. - 70000 экз.. -

УДК

510.6

Рубрики: Математическая логика
Множеств теория
Аннотация: В книге дается элементарное изложение важнейших понятий, идей, методов и результатов теории множеств (включая алгебру операций над множествами), математической логики (элементы логики высказываний и логики предикатов), оснований математики (аксиоматический метод) и теории булевых алгебр. Имеется большое число упражнений учебного характера.

Скачать содержание
Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Гастев, Юрий Алексеевич (1928 - 1995) \пер.\
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие

   510.6
   М 50

    Мендельсон, Эллиот (1931 - ).
    Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф.А. Кабакова ; под ред. С.И. Адяна. - Москва : Наука, Главная редакция физико-математической литературы, 1971. - 320 с. ; 22 см. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. - 30000 экз.. -

УДК

510.6

   510.6
   Н 73

    Новиков, Петр Сергеевич (1901 - 1975).
    Конструктивная математическая логика [Текст] / П.С. Новиков. - Москва : Наука, Главная редакция физико-математической литературы, 1977. - 328 с. ; 21 см. - (Математическая логика и основания математики). - Библиогр.: с. 318-320. - Указ. имен: с. 323. - Предм. указ.: с. 324-328. - 14000 экз.. -

УДК

510.6

Рубрики: Математическая логика
Аннотация: Книга написана на основе лекций, читавшихся П. С. Новиковым в МГУ, В ней излагаются некоторые вопросы математической логики, не рассмотренные в его предыдущей книге «Элементы математической логики». В этом смысле она как бы дополняет предыдущую книгу. В то же время книгу можно читать независимо, так как в ней подробно излагается весь нужный по ходу дела материал, относящийся к классическим логическим исчислениям. В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики. Вопросы семантики конструктивной логики изложены в оригинальной и доступной для читателя форме. Доказательства основных утверждений приводятся во всех деталях. Только в последней главе опущены доказательства некоторых утверждений, относящихся к теории рекурсивных функций и теореме Гёделя о неполноте формальной арифметики. Книга доступна широкому кругу читателей. Для ее чтения не требуется специальной подготовки. В то же время насыщенность разнообразными техническими деталями делает ее полезной для лиц, занимающихся исследованием математических аспектов конструктивной логики. Книга может служить основой для спецкурсов.

Скачать содержание
Держатели документа:
Дом А. Ф. Лосева
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие

   5
   М 23

    Манин, Юрий Иванович.
    Доказуемое и недоказуемое [Текст] : Ю.И. Манин. - Москва : Советское радио, 1979. - 165, [2] с. ; 20 см. - (Кибернетика). - Библиогр.: с. 161-162. - Имен. указ.: с. 163-164. - Предм. указ.: в конце кн. - 40000 экз.. -

УДК

Рубрики: Математическая логика
Аннотация: В наше время математические методы широко используются в естественных и гуманитарных науках. Это способствует росту интереса к самой сущности математического рассуждения и природе доказательства в широких кругах потребителей математики. В книге сделана попытка удовлетворить этот интерес, изложив «а достаточно доступном уровне теорию математического доказательства и причины, по которым те или иные вопросы (типа гипотезы континуума) оказываются принципиально неразрешимыми. Изложение сопровождается экскурсами в физику, психологию и семиотику. Книга предназначена для молодых ученых и всех, кто интересуется проблемами современной математики.

Скачать содержание
Держатели документа:
Дом А. Ф. Лосева
Экземпляры всего: 1
Абонемент (1)
Свободны: Абонемент (1)
Найти похожие

   51(07)
   Е 80

    Ершов, Юрий Леонидович.
    Математическая логика [Текст] : учебное пособие для студентов математических специальностей высших учебных заведений / Ю.Л. Ершов, Е.А. Палютин. - Москва : Наука, Главная редакция физико-математической литературы, 1979. - 320 с. ; 21 см. - Предм. указ.: с. 314-318. - 45000 экз.. -

УДК

51(07)

Рубрики: Математическая логика--учебные издания для высших учебных заведений
Кл.слова (ненормированные):
учебное пособие

Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Палютин, Евгений Андреевич
Экземпляры всего: 1
Абонемент (1)
Свободны: Абонемент (1)
Найти похожие

   51(07)
   К 60

    Колмогоров, Андрей Николаевич (1903 - 1987).
    Введение в математическую логику [Текст] : учебное пособие для студентов математических специальностей вузов / А.Н. Колмогоров, А.Г. Драгалин. - Москва : Издательство Московского университета, 1982. - 118, [2] с. ; 22 см. - Библиогр.: в конце кн. - 29500 экз.. -

УДК

51(07)

Рубрики: Математическая логика
Аннотация: Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и логики предикатов. Изложение не предполагает специальных знаний и рассчитано на студентов младших курсов.

Скачать содержание
Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие

   51(07)
   К 60

    Колмогоров, Андрей Николаевич (1903 - 1987).
    Математическая логика. Дополнительные главы [Текст] : учебное пособие для студентов вузов, обучающихся по специальности "Математика" / А.Н. Колмогоров, А.Г. Драгалин. - Москва : Издательство Московского университета, 1984. - 117, [2] с. ; 22 см. - Библиогр.: в конце кн. - 13150 экз.. -

УДК

510.6(07)

51(07)

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

Скачать содержание
Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Драгалин, Альберт Григорьевич
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие

10.

   1(430)Фреге
   Ф 86

    Фреге, Готлоб (1848 - 1925).
    Логика и логическая семантика [Текст] : сборник трудов / Готтлоб Фреге ; пер. с нем. Б. В. Бирюкова под ред. З. А. Кузичевой ; введ. и послесл. Б. В. Бирюкова ; коммент. Б. В. Бирюкова и З. А. Кузичевой ; [Федер. программа книгоиздания России]. - Москва : Аспект-пресс, 2000. - 511, [1] с. : ил., портр. ; 24 см. - Имен. указ.: с. 509-511. - Библиогр. в подстроч. примеч. - 7000 экз.. - ISBN 5-7567-0128-1

УДК

1(430)Фреге

Рубрики: Семантическая логика
Математическая логика
Аннотация: Настоящее издание включает знаменитый труд Фреге "Исчисление понятий" и его работы, положившие начало современной логической семантике. Для студентов вузов.

Скачать содержание
Держатели документа:
Дом А. Ф. Лосева

Доп.точки доступа:
Бирюков, Борис Владимирович (1922 - 2015) \пер.\; Федеральная программа книгоиздания России
Экземпляры всего: 2
Абонемент (1), ХР (1)
Свободны: Абонемент (1), ХР (1)
Найти похожие

1-10 11-17

Тематический навигатор

Статистика обращений

Статистика за 06.07.2024
Число запросов	0
Число посетителей	0
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)