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

Базы данных

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

Вид поиска

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

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

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

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

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

в найденном

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

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

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

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

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

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

1-10 11-17

   1(091)
   Б 64 кн.1

   Бирюков, Борис Владимирович (1922 - 2015)
    Трудные времена философии. Логика и философия в первые послесталинские годы. Математическая логика [Текст] / Б.В. Бирюков ; Русская ассоциация чтения. - Москва : URSS, 2014 - . - (Наука в СССР : Через тернии к звездам) (обл.).
   Кн. 1 : Переломный период - при Сталине и после. - 2014. - 267 с. ; 22 см. - (... ; № 27). - Библиогр. в подстроч. примеч. - Из содерж. прил.: П.Я. Чаадаев и вопросы социокультурного развития России : давний спор славян. Опыт дискурсивно-логического освещения проблемы / И.П. Прядко, Б.В. Бирюков. - ISBN 978-5-9710-0735-7

УДК

1(091)

Рубрики: Философия русская --История, 20 в.
Математическая логика
Аннотация: В книге описываются события послесталинской эпохи, относящиеся к философии и логике. Автор подводит итог сталинскому периоду нашей истории, как он отразился в философско-логической сфере. Книга начинается с обращения к фигуре И. В. Сталина: дается опыт его психологической характеристики, рассказывается о том, чем отмечены последние месяцы жизни вождя. Попутно вспоминаются и некоторые события предшествующих лет, характеризующие противоречивость конкретных событий сталинского времени. К материалам книги приведены дополнения: «П. Я. Чаадаев и вопросы социокультурного развития России: давний спор славян. Опыт дискурсивно-логического освещения проблемы» (И. П. Прядко, Б. В. Бирюков); «Logica adversus dialecticae: к спорам о статусе формальной и диалектической логики в отечественной науке второй половины XX века» (Б. В. Бирюков, И. П. Прядко). Рекомендуется философам, логикам, психологам, историкам науки, а также преподавателям, студентам и аспирантам вузов, изучающим советский период отечественной истории.

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

Доп.точки доступа:
Прядко, Игорь Петрович; Бирюков, Борис Владимирович; Чаадаев, Петр Яковлевич (1794 - 1856) \о нем\
Экземпляры всего: 2
ХР (2)
Свободны: ХР (2)
Найти похожие

   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)
   Е 80

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

УДК

51(07)

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

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

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

   16
   К 26

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

УДК

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

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

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

   510.6
   Л 68

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

УДК

510.6

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

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

   1(470)Лосев
   Л 79

    Лосев, Алексей Федорович (1893 - 1988).
    Критические заметки о буржуазной математической логике [Текст] / подгот. к публ. и примеч. В. П. Троицкого, публ. А. А. Тахо-Годи. - [Б. м. : б. и.], [20??]. - [41] л. ; 30 см. - Перепеч. с изд.: Историко-математические исследования. 2003. Вып. 8 (43). с. 339-401. -

УДК

1(470)Лосев

Рубрики: Математическая логика
Философия русская, 20 в.

Доп.точки доступа:
Троицкий, Виктор Петрович (1951 - ) \подгот. к публ.\; Тахо-Годи, Аза Алибековна (1922 - ) \публ.\
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   5
   М 23

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

УДК

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

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

10.

   510.6
   М 50

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

УДК

510.6

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

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

1-10 11-17

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

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

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

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