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

Базы данных

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

Вид поиска

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

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

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

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

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

в найденном

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

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

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

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

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

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

1-10 11-20 21-29

   16 ЛМК
   Г 56


    Гносеологические проблемы формализации [Текст] : [монография / Д. П. Горский, Л. В. Уваров, А. А. Толкачев и др.] ; Ин-т философии и права Акад. наук БССР. - Минск : Наука и техника, 1969. - 265, [2] с. ; 21 см. - Библиогр. в подстроч. примеч. - Авт. указаны в содерж. - 1 600 экз.. -

УДК

164

167/168

1(470)

510.645

Рубрики: Формализация (филос.)
   Философия русская, 20 в.
   Методология и логика научного познания
   Научное познание--Формализация (филос.)
   Математическая логика

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

Доп.точки доступа:
Горский, Дмитрий Павлович (1920 - 1994); Уваров, Леонид Васильевич (1934 - ); Толкачев, Александр Антонович; Институт философии и права (Минск)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   51 ЛМК
   С 47

    Слинин, Ярослав Анатольевич (1932 - ).
    Современная модальная логика [Текст] : развитие теории алетических модальностей (1920 - 1960 гг.) / Я. А. Слинин ; Ленингр. гос. ун-т им. А. А. Жданова. - Ленинград : Издательство Ленинградского университета, 1976. - 102, [2] с. : ил., табл. ; 22 см. - Библиогр. в подстроч. примеч. - 5 660 экз.. -

УДК

510.643

164

Рубрики: Логика модальная

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

   16 ЛМК
   С 32

    Серебрянников, Олег Федорович (1930 - 1991).
    Эвристические принципы и логические исчисления / О. Ф. Серебрянников ; [Акад. наук СССР, Науч. совет по комплексной проблеме "Кибернетика", Секция филос. вопр. кибернетики]. - Москва : Наука, 1970. - 281, [2] с. : ил., табл. ; 20 см. - Библиогр. в конце кн.: с. 280 - [282] (65 назв.). - 4 500 экз.. -

УДК

164

Рубрики: Логика
   Эвристика
   Математическая логика
   Кибернетика--Философские вопросы
   Философия русская, 20 в.

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

   51 ЛМК
   П 77

    Притуло, Федор Федосеевич.
    Элементы логики в курсе математики средней школы [Текст] / Ф. Ф. Притуло ; Сев.-Осет. гос. пед. ин-т им. К. Л. Хетагурова. - Орджоникидзе [Владикавказ] : Прогресс, 1960. - 177 с. : ил., табл. ; 20 cм. - (Северо-Осетинский государственный педагогический институт им. К. Л. Хетагурова. Ученые записки ; т. 25, Вып. 1. Серия физико-математическая). - На обл. только загл. сер. - 1 000 экз.. -

УДК

510.6(075.8)

164

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

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

Доп.точки доступа:
Северо-Осетинский государственный университет им. К. Л. Хетагурова (Владикавказ); Северо-Осетинский государственный педагогический институт им. К. Л. Хетагурова (Орджоникидзе)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   51 ЛМК
   П 30

    Петров, Юрий Александрович (1927 - 2001).
    Логические проблемы абстракций бесконечности и осуществимости [Текст] / Ю. А. Петров ; Акад. наук СССР, Науч. совет по комплексной проблеме "Кибернетика", Секция филос. вопр. кибернетики. - Москва : Наука, 1967. - 163, [1] с. ; 20 см. - Библиогр.: с. 160 - 162 (82 назв.). - 8 300 экз.. -

УДК

510.6

125

164

1(470)

Рубрики: Бесконечность (филос.)
   Осуществимость (филос.)
   Математическая логика
   Философия русская, 20 в.

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

   1(430)Наторп ЛМК
   Н 33

    Наторп, Пауль (1854 - 1924).
    Логика [Текст] : обоснование и логическое построение математики и математического естествознания : (cжатое пособие к лекциям) / П. Наторп, проф. философии Марбург. ун-та ; пер. с нем. В. А. Радзиевского ; с предисл. И. И. Лапшина, прив.-доц. СПб. ун-та. - С.-Петербург : Улей, 1909 (Типография А. В. Орлова). - VII, [1], 64 с. ; 22 см. - Библиогр. в конце предисл.: с. [VIII] (10 назв.). -

УДК

164

510.6

1(430)

Рубрики: Логика--Руководства, пособия
Математическая логика--Руководства, пособия
Философия немецкая, 19 - 20 вв.

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

Доп.точки доступа:
Радзиевский, В. А. \пер.\; Лапшин, Иван Иванович (1870 - 1952) \авт. предисл.\; Natorp, Paul (1854 - 1924)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   51 ЛМК
   С 49

    Слупецкий, Ежи (1904 - 1987).
    Элементы математической логики и теория множеств [Текст] : [учебник] / Е. Слупецкий, Л. Борковский ; пер. с пол. О. Ф. Серебрянникова ; спецред. И. Н. Коваленко. - Москва : Прогресс : Издательство Московского университета, 1965. - 367, [1] с. : ил., табл. ; 21 cм. - Библиогр. в подстроч. примеч. - Пер. изд. : Elementy logiki matematycznej i teorii mnogosci / Jerzy Słupecki, Ludwik Borkowski. - Warszawa, 1963. -

УДК

510.6(075.8)

510.22(075.8)

164

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

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

Доп.точки доступа:
Борковский, Людвик; Borkowski, Ludwik; Серебрянников, Олег Федорович (1930 - 1991) \пер.\; Коваленко, Игорь Николаевич (1935 - ) \ред.\; Słupecki, Jerzy (1904 - 1987)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   51 ЛМК
   П 58

    Попов, Александр Иванович (1899 - 1973).
    Введение в математическую логику [Текст] / А. И. Попов ; Ленингр. гос. ун-т им. А. А. Жданова. - [Ленинград] : Издательство Ленинградского университета, 1959. - 106, [2] с. : табл. ; 22 см. - Библиогр. в конце кн.: с. 106 - [107] (26 назв.). - 5 250 экз.. -

УДК

510.6

164

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

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

   1(470)Мордухай
   М 79

    Мордухай-Болтовской, Дмитрий Дмитриевич (1876 - 1952).
    Философия. Психология. Математика : [сборник избранных работ] / Д. Д. Мордухай-Болтовской ; [сост., предисл., библиогр. А. В. Родин]. - Москва : Серебряные нити, 1998. - 551, [1] с. : ил., портр., табл. ; 22 см. - (Философы России ХХ века). - Библиогр.: c. 449 - 481 и в примеч.: с. 482 - 544. - 2 000 экз.. - ISBN 5-89163-009-5

УДК

164

Рубрики: Философия русская, 20 в.
Аннотация: Настоящая книга - сборник избранных работ выдающегося русского математика и философа Дмитрия Дмитриевича Мордухай - Болтовского (1876-1952). Учитывая широту диапазона его интересов -трудно найти историко-философскую математическую проблему, которую в той или иной форме он не затронул в своих многочисленных работах - перед составителями стояла проблема отбора тех его статей, которые наиболее адекватно отражают основные черты его творчества. В сборник включены работы, отражающие подход ученого к триаде: "Философия - Психология - Математика". Материалы книги впервые публикуются для широкого ознакомления. Книга рассчитана как на специалистов - философов, математиков, психологов, преподавателей школ и вузов, - так и на широкого читателя, интересующегося наукой и проблемами ее развития.

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

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

10.

   51
   Л 69


    Логика. Автоматы. Алгоритмы / М. А. Айзерман, Л. А. Гусев, Л. И. Розоноэр [и др.]. - Москва : Государственное издательство физико-математической литературы, 1963. - 556 с. : ил., табл. ; 21 см. - Библиогр.: c. 536 - 549 (284 назв.). - Указ. имен: с. 550. - Предм. указ.: с. 551 - 556. - 14 000 экз.. -

УДК

51:1

164

Рубрики: Математическая логика
Математика--Философские вопросы

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

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

1-10 11-20 21-29

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

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

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

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