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

Базы данных

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

Вид поиска

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

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

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

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

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

в найденном

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

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

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

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

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

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

1-10 11-17

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

   51
   С 88

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

УДК

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

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

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

   51
   П 59

    Порецкий, Платон Сергеевич (1846 - 1908).
    Логические равенства [Текст] : О способах решения логических равенств и об обратном способе математической логики / Платон Порецкий. - Москва : Русская Правда, 2011. - 159 с. : портр., факс. ; 20 см. - (Русская вероятностная логика). - Список науч. работ П. С. Порецкого: с. 6-9. - Библиогр.: с. 9 (6 назв.). - На 4 с. обл.: Порецкий Платон Сергеевич - русский логик, астроном и математик. - 2000 экз.. - ISBN 978-5-904021-14-6

УДК

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

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

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

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

10.

   510.6
   Н 73

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

УДК

1-10 11-17

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

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

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

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