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

Бази даних

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

Вид пошуку

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

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

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

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

Зона пошуку

у знайденому

Знайдено у інших БД:

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

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

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

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

Загальна кількість знайдених документів : 43
Показані документи с 1 за 10

1-10 11-20 21-30 31-40 41-43

   1(470)Лосев
   Л 79

    Лосев, Алексей Федорович (1893 - 1988).
    Хаос и структура [Текст] / Алексей Федорович Лосев ; [сост. и общ. ред. А. А. Тахо-Годи и В. П. Троицкого ; предисл. В. М. Лосевой ; послесл. В. П. Троицкого]. - Москва : Мысль, 1997. - 831 с. : портр. ; 21 см. - Библиогр. в примеч.: с. 822 - 827. - Указ. имен: с. 828 - 829. - В содерж.: Диалектические основы математики ; О методе бесконечно-малых в логике ; Некоторые элементарные размышления к вопросу о логических основах исчисления бесконечно-малых ; Математика и диалектика / А. Ф. Лосев. Математика Алексея Лосева / В. П. Троицкий. - 5 000 прим.. - ISBN 5-244-00858-57

УДК

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

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

Дод.точки доступу:
Тахо-Годи, Аза Алибековна (1922 - ); Умрихин, В. В.; Бибихин, Владимир Вениаминович (1938 - 2004); Гоготишвили, Людмила Арчиловна (1954 - ); Тахо-Годи, Аза Алибековна (1922 - ) \авт.\; Троицкий, Виктор Петрович (1951 - ) \авт.\; Лосева, Валентина Михайловна (1897 - 1954) \авт. предисл.\; Троицкий, Виктор Петрович (1951 - ) \авт. послесл.\; Лосев, Алексей Федорович (1893 - 1988) \о нем\
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі

   16 ЛМК
   Л 69


    Логика и онтология [Текст] : [сборник статей] / Акад. наук СССР, Сиб. отд-ние, Ин-т истории, филологии и философии ; [редкол.: В. В. Целищев (отв. ред.) и др.]. - Москва : Наука, 1978. - 260, [1] с. : ил. ; 20 см. - Библиогр. в подстроч. примеч. - Содерж.: Подстановочная и смешанная интерпретация квантификации / А. В. Бессонов. Теоретико-игровой подход к семантике естественного языка / А. Л. Блинов. Связь логического и онтологического в некоторых современных теориях семантики естественного языка / Р. Й. Павилёнис. Концепция языка Куайна / В. В. Петров. Семантика для пропозициональных установок и "твердые десигнаторы" / В. В. Целищев. Два подхода к проблеме оснований логических модальностей / О. А. Солодухин. Возможные миры в классической логике / В. Н. Костюк. Аналитическое и синтетическое / Г. Г. Шляхтин. О природе объектов математики / К. В. Кирпичников. Межтеоретический перевод и онтологическая редукция / В. Н. Карпович. Онтологические и гносеологические основания эксплицитной индуктивной логики / Э. М. Некрашас. - 4 600 прим.. -

УДК

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

Утримувачі документа:
Дом А. Ф. Лосева

Дод.точки доступу:
Целищев, Виталий Валентинович (1942 - ) \ред.\; Институт истории, филологии и философии (Новосибирск)
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі

   16 ЛМК
   Ф 56


    Философия и логика [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. редакторы П. В. Таванец и В. А. Смирнов]. - Москва : Наука, 1974. - 478, [1] с. : ил. ; 21 см. - (Философия в современном мире). - Библиогр. в конце ст. - В содерж.: О взаимоотношении символической логики и философии / В. А. Смирнов, П. В. Таванец. Лейбниц, Кант и их принципы философии математики / А. Л. Субботин. Конструктивная модель интуиционистского анализа / А. Г. Драгалин. К обоснованию дедуктивного метода / П. Лоренцен. Непротиворечивость и элиминируемость в теории доказательств / Е. Д. Смирнова. Формальные методы и проблемы теории познания / Р. Вуйцицкий. Истинность и формальная непротиворечивость эмпирической теории и понятие смысла / П. Матерна. Понятие факта как модального оператора / Б. Вольневич. К вопросу об определимости предикатов, вводимых двусторонними редукционными предложениями / В. А. Смирнов. О допущениях, вводимых редукционными предложениями / В. Н. Карпович. Несколько замечаний о многозначных логиках Яна Лукасевича / Е. Слупецкий. Вероятность и детерминизм / Г. И. Рузавин. К исследованию и построению прагматических логик / С. П. Будбаева, Б. Н. Пятницын. Теория индуктивного рассуждения и ее формализация / В. Н. Костюк. Вопрос о вопросах / И. Хинтикка. Редукции в логике второй ступени / С. Р. Когаловский. Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр / В. К. Финн. Роль теории семантических категорий в обосновании современных логических теорий / Б. Дянков. К вопросу о классификации логических форм / Б. Чендов. - 9 500 прим.. -

УДК

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

Утримувачі документа:
Дом А. Ф. Лосева

Дод.точки доступу:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Смирнов, Владимир Александрович \ред.\; Институт философии (Москва)
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі

   51 ЛМК
   Г 45

    Гжегорчик, Анджей (1922 - ).
    Популярная логика [Текст] : общедоступный очерк логики предложений / А. Гжегорчик ; пер. с пол. С. П. Беляева. - Изд. 2-е, стер. - Москва : Наука, Главная редакция физико-математической литературы, 1972. - 110, [1] с. : ил., табл. ; 20 см. - Библиогр.: с. 11 - 12 (18 назв.). - Пер. вид. : Logika popularna / Andrzej Grzegorczyk. - Warszawa, 1961. - 80 000 прим.. -

УДК

510.6(0.062)

164(0.062)

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

Утримувачі документа:
Дом А. Ф. Лосева

Дод.точки доступу:
Беляев, С. П. \пер.\; Grzegorczyk, Andrzej (1922 - )
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі

   51 ЛМК
   Я 64

    Яновская, Софья Александровна (1896 - 1966).
    Методологические проблемы наук [Текст] : [сборник] / С. А. Яновская ; [вступ. ст. Д. П. Горского ; Акад. наук СССР, Ин-т философии]. - Москва : Мысль, 1972. - 278, [2] с., [1] л. портр. : ил. ; 21 см. - Библиогр. в примеч. - Список печ. работ С. А. Яновской в конце кн.: с. 275 - [279]. - В содерж.: Предисловие к "Математическим рукописям" К. Маркса ; О так называемых "определениях через абстракцию" ; Мишель Ролль как критик анализа бесконечно малых ; О мировоззрении Н. И. Лобачевского ; Из истории аксиоматики ; О некоторых чертах развития математической логики и отношении ее к техническим приложениям ; О философских вопросах математической логики ; Преодолены ли в современной науке трудности, известные под названием "апорий Зенона"? ; Проблемы введения и исключения абстракций более высоких (чем первый) порядков ; О роли математической строгости в истории творческого развития математики и специально о "Геометрии" Декарта. - 8 500 прим.. -

УДК

5:1(081)

510.21(081)

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

Утримувачі документа:
Дом А. Ф. Лосева

Дод.точки доступу:
Горский, Дмитрий Павлович (1920 - 1994) \авт. предисл.\; Яновская, София Александровна (1896 - 1966) \о ней\
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі

   51 ЛМК
   М 50

    Мендельсон, Эллиот.
    Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - Москва : Наука, Главная редакция физико-математической литературы, 1971. - 320 с. : ил. ; 22 см. - Библиогр.: с. 296 - 309. - Алф. указ.: с. 310 - 317. - Пер. вид. : Introduction to mathematical logic / by Elliott Mendelson. - Princeton, New Jersey [etc.]. - 30 000 прим.. -

УДК

510.6

164

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

Утримувачі документа:
Дом А. Ф. Лосева

Дод.точки доступу:
Кабаков, Ф. А. \пер.\; Адян, Сергей Иванович (1931 - ) \ред.\; Mendelson, Elliott
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі

   51 ЛМК
   К 33

    Кейслер, Г. Джером (1936 - ).
    Теория непрерывных моделей [Текст] : ретроспектива и перспективы / Г. Дж. Кейслер, Чэн Чень-чунь ; пер. с англ. Г. А. Бурле ; под ред. А. Г. Драгалина. - Москва : Мир, 1971. - 184 с. ; 20 см. - Библиогр.: с. 173 - 177. - Указ.: с. 178 - 182. - Пер. вид. : Continuous model theory / by Chen Chung Chang a. H. Jerome Keisler. - Princeton, New Jersey, 1966. -

УДК

510.6

164

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

Утримувачі документа:
Дом А. Ф. Лосева

Дод.точки доступу:
Чэн, Чень-чунь; Chen, Chung Chang; Драгалин, Альберт Григорьевич (1942 - 1998) \ред.\; Бурле, Г. А. \пер.\; Keisler, H. Jerome (1936 - )
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі

   51 ЛМК
   К 30

    Кац, Марк (1914 - 1984).
    Математика и логика [Текст] : ретроспектива и перспективы / М. Кац, С. Улам ; пер. с англ. Н. И. Плужниковой ; под ред. И. М. Яглома. - Москва : Мир, 1971. - 250 с. : ил. ; 20 см. - ("Современная математика" : популярная серия). - Пер. вид. : Mathematics and logic / Mark Kac a. Stanisław M. Ulam. - New York [etc.], 1968. -

УДК

51(0.062)

510.6(0.062)

164(0.062)

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

Утримувачі документа:
Дом А. Ф. Лосева

Дод.точки доступу:
Улам, Станислав Марцин (1909 - 1984); Ulam, Stanisław Marcin (1909 - 1984); Яглом, Исаак Моисеевич (1921 - 1988) \ред.\; Плужникова, Н. И. \пер.\; Kас, Mark (1914 - 1984)
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі

   16 ЛМК
   С 32

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

УДК

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

Утримувачі документа:
Дом А. Ф. Лосева
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі

10.

   51 ЛМК
   Н 47


    Неклассическая логика [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [отв. ред. П. В. Таванец]. - Москва : Наука, 1970. - 382, [2] с. : ил., табл. ; 21 см. - Библиогр. в конце ст. - Содерж.: Классическая и неклассическая логика / П. В. Таванец. Комплексная логика : (формальное построение) / А. А. Зиновьев. Классические и неклассические отношения высказываний / А. А. Зиновьев. Некоторые варианты систем логического следования / Е. А. Сидоренко. Независимость в системах логического следования / Е. А. Сидоренко. О силлогистике классов / А. М. Федина. О полноте систем логического следования : (исчисление высказываний) / А. М. Федина. Некоторые теоремы теории кванторов / Г. М. Щеголькова. Полнота систем вырожденного следования и квазиследования / Л. А. Боброва. Определение алетических и деонтических модальных функторов в терминах материальной импликации и констант / А. А. Ивин. Логика времени / А. А. Ивин. К проблемам вероятностных и статистических логик / Б. Н. Пятницын. О топологической логике / Х. А. Вессель. Об одной теореме логической семантики / В. И. Локтионов. Об одном классе многозначных модальных систем / Эрамис Буэно. Об интегрированных модальностях в современной логике / Я. А. Слинин. Построение логики высказываний без принципа утверждения / А. И. Уемов. Об одном варианте исчисления отбрасываемых формул логики высказываний / И. Н. Бродский. Не-фрегевская логика и теории, основанные на ней / Р. Сушко. - 7 200 прим.. -

УДК

510.6(082)

517.1(082)

164(082)

Рубрики: Математическая логика--Сборники
Математический анализ--Сборники
Логика--Сборники

Утримувачі документа:
Дом А. Ф. Лосева

Дод.точки доступу:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Институт философии (Москва)
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі

1-10 11-20 21-30 31-40 41-43

Статистика за 09.07.2024
Кількість запитів	0
Кількість відвідувачів	0
Кількість замовлень	0

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)