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

Базы данных

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

Вид поиска

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

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

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

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

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

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

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

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

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

Поисковый запрос: <.>U=510.6<.>

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

   510.6
   Л 68

    Лобанов, Владимир Иванович.
    Русская вероятностная логика [Текст] : Азбука математической логики / Владимир Лобанов. - Москва : Русская правда, 2009. - 317 с. : табл. ; 22 см. - Библиогр.: с. 310-313. - 2000 экз.. - ISBN 978-5-904021-03-0

УДК

510.6

Рубрики: Математическая логика
Аннотация: Данное пособие является общедоступным изложением основ Русской, истинно математической логики. Вскрывая противостояние Русской и классической логики, автор показывает, что силлогистика Аристотеля не имеет никакого отношения к логике здравого смысла. Обучение классической логике не только бесполезно, но и преступно, поскольку уничтожается всякое мышление. Все существующие учебники логики невежественны, безграмотны и бестолковы. Предлагаемое издание полезно школьникам и академикам, инженерам и ученым, "физикам" и "лирикам". Для широкого круга читателей.

Держатели документа:
Дом А. Ф. Лосева
Экземпляры всего: 2
ХР (1), Абонемент-ЦЧТР (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

   510.6
   Н 73

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

УДК

510.6

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

Скачать содержание
Держатели документа:
Дом А. Ф. Лосева
Экземпляры всего: 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)
Найти похожие

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

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

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

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