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

Базы данных

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

Вид поиска

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

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

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

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

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

в найденном

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

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

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

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

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

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

1-10 11-17

   510.6
   Н 73

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

УДК

510.6

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

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

   51(07)
   К 60

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

УДК

510.6(07)

51(07)

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

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

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

   510.6
   Н 73

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

УДК

510.6

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

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

   510.6
   М 50

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

УДК

510.6

   1(470)Моисеев
   М 74

    Моисеев, Вячеслав Иванович (1965 - ).
    Очерки по философии неовсеединства. Опыт математического прочтения философии : Аксиология. Логика. Феноменология [Текст]. - Москва : URSS : Ленанд, 2018. - 626 с. : граф., ил. ; 22 см. - Библиогр. в подстроч. примеч. - ISBN 978-5-9710-5359-0

УДК

1(430)Моисеев

Рубрики: Философия
   Наука--Методология
   Математическая логика
   Феноменология
Кл.слова (ненормированные):
Неовсеединство
Аннотация: В ряде своих предшествующих работ автор начал формирование нового философского проекта, который получил название «философия неовсеединства». Первые книги автора — «Логика всеединства» и «Логика Добра» — были посвящены логическому анализу и теоретической реконструкции системы идей, которая была присуща русской философии всеединства, особенно ее основателю — Владимиру Сергеевичу Соловьеву. В новых работах «Логика открытого синтеза», «Человек и общество: образы синтеза» было заявлено о следующем этапе развития философии всеединства — возникновении современной ее версии, своего рода «философии неовсеединства», в которой главный дух синтеза наших великих предшественников соединяется с методами и материалом современной культуры. В настоящих «Очерках» дается более популярное изложение основных идей философии неовсеединства, в стиле более свободных интеллектуальных набросков множества новых тем, а также отчасти завершается первое панорамное представление возможной системы. В «Очерках» предлагается опыт систематического и концептуального изложения идей философии неовсеединства в социогуманитарных областях: этике, эстетике, антропологии, логике. Завершаются они исследованием феноменологических оснований философии неовсеединства.

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

   16
   Б 64

    Бирюков, Борис Владимирович (1922 - 2015).
    Жар холодных числ и пафос бесстрастной логики [Текст] : Формализация мышления от античных времен до эпохи кибернетики / Б.В. Бирюков, В.Н. Тростников. - Изд. стер. - Москва : URSS : Либроком, 2017. - 228 с. : ил. ; 22 см. - Библиогр. в примеч. в конце разд. - На обл.: 3-е изд., перераб. и доп. - ISBN 978-5-397-06002-8

УДК

16:519.7

Рубрики: Кибернетика--Философские вопросы
Математическая логика
Аннотация: Настоящая книга рисует картину развития логико-математических аспектов кибернетики и информатики. Авторы рассказывают о длительной истории науки логики, возникшей еще в Древней Греции, прослеживают непрерывную нить преемственности, тянущейся от Аристотеля и Лейбница к современным информационным системам. Показано становление идей вычислимости и алгоритмизации, связанных с такими титанами науки XX века, как Давид Гильберт и Курт Гёдель. В заключительных главах обсуждается вопрос о современном смысле идеала рациональности знания и критикуется редукционистская установка в науке, несовместимая с новейшими данными физики и психологии. Книга будет интересна философам, логикам, историкам и методологам науки, аспирантам и студентам соответствующих специальностей, а также широкому кругу читателей, интересующихся философскими проблемами науки.

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

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

   51(07)
   К 60

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

УДК

51(07)

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

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

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

   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)
Найти похожие

   51(07)
   Е 80

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

УДК

51(07)

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

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

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

10.

   16
   К 26

    Карпенко, Александр Степанович (1946 - ).
    Логики Лукасевича и простые числа [Текст] : научное издание / А. С. Карпенко ; отв. ред. В. К. Финн. - Москва : URSS, 2007. - 255 с. ; 22 см. - Библиогр.: с. 223-243. - Имен. указ.: с. 244-247. - Предм. указ.: с.248-249. - На 4-й с. обл. авт.: д-р филос. наук, проф. каф. логики филос. фак. МГУ, акад. РАЕН. - ISBN 978-5-382-00027-5

УДК

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

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

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

1-10 11-17

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

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

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

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