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

Бази даних

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

Вид пошуку

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

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

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

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

Зона пошуку

у знайденому

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

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

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

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

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

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

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

   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 Т. 1

   Чёрч, Алонзо (1903 - 1995)
    Введение в математическую логику [Текст] / А. Чёрч ; пер. с англ. В. С. Чернявского ; под ред [и с предисл.] В. А. Успенского. - Москва : Издательство иностранной литературы, 1960 - . - 23 cм.
   T. 1. - 1960. - 484, [1] c. : ил., табл. - Библиогр. в примеч.: с. 340 - 460. - Предм. указ.: с. 461 - 477. - Указ. имен: с. 478 - 481. - Пер. вид. : Introduction to mathematical logic. Vol. 1 / by Alonzo Church. - Princeton, New Jersey, 1956. -

УДК

510.6

164

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

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

Дод.точки доступу:
Church, Alonzo (1903 - 1995); Чернявский, В. С. \пер.\; Успенский, Владимир Андреевич (1930 - ) \авт.\
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі

   51 ЛМК
   Ф 86

    Фрейденталь, Ханс (1905 - 1990).
    Язык логики [Текст] / Х. Фрейденталь ; пер. с англ. Ю. А. Петрова ; под ред. Ю. А. Гастева. - Москва : Наука, Главная редакция физико-математической литературы, 1969. - 134, [1] с. : ил., табл. ; 20 см. - Пер. вид. : The language of logic / by Hans Freudenthal, prof. of pure a. applied mathematics, Utrecht university. - Amsterdam [etc.], 1966. - 16 000 прим.. -

УДК

510.6

164

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

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

Дод.точки доступу:
Петров, Юрий Александрович (1927 - 2001) \пер.\; Гастев, Юрий Алексеевич (1928 - 1993) \ред.\; Freudenthal, Hans (1905 - 1990)
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі

   16 ЛМК
   Ф 56


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

УДК

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

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

Дод.точки доступу:
Таванец, Петр Васильевич (1911 - 1991) \ред.\; Смирнов, Владимир Александрович \ред.\; Институт философии (Москва)
Примірників всього: 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)
Знайти схожі

   16 ЛМК
   С 32

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

УДК

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

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

   001 ЛМК
   П 88

    Пуанкаре, Анри (1854 - 1912).
    Ценность науки [Текст] / Анри Пуанкаре, чл. Акад. наук, проф. Парижск. ун-та ; пер. с фр. под ред. А. Бачинского и Н. Соловьева. - Москва : Творческая мысль, 1906 (Типо-литография Т-ва И. Н. Кушнерев и К°). - [2], 194, [1] с. ; 23 см. -

УДК

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

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

Дод.точки доступу:
Бачинский, Алексей Иосифович (1877 - 1944) \ред.\; Соловьев, Николай Михайлович \ред.\; Poincaré, Henri (1854 - 1912)
Примірників всього: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Знайти схожі

   51 ЛМК
   П 78


    Проблемы математической логики [Текст] : сложность алгоритмов и классы вычислимых функций : сборник переводов / под ред. В. А. Козмидиади и и А. А. Мучника. - Москва : Мир, 1970. - 431, [1] с. : ил., табл. ; 22 см. - (Библиотека "Кибернетического сборника" : БКС). - Библиогр. в конце ст. - Содерж.: Некоторые классы рекурсивных функций / А. Гжегорчик ; пер. А. А. Мучника. Классы предсказуемо вычислимых функций / Р. В. Ричи ; пер. Н. Н. Катериночкина. Иерархия примитивно рекурсивных функций / Дж. П. Клив ; пер. С. С. Марченкова. Итерация примитивной рекурсии / П. Акст ; пер. А. Гагарина. Итерация относительной примитивной рекурсии / П. Акст ; пер. С. Каллибекова. Вычисления в реальное время и рекурсивные функции, не вычислимые в реальное время / Х. Ямада ; пер. В. Е. Фельдмана. Вычисления в реальное время / М. Рабин ; пер. В. Е. Фельдмана. Языки, определимые в реальное время / А. Розенберг ; пер. М. Афанасьева и М. В. Ломковской. Моделирование многоленточной машины Тьюринга на двуленточной / Ф. К. Хенни, Р. Е. Стирнз ; пер. Ю. А. Бухштаба. Методы перевода и сложность вычислений / С. С. Раби, П. К. Фишер ; пер. А. А. Мучника. Вычисления на одноленточной машине Тьюринга с записью на ленте / Ф. К. Хенни ; пер. Ю. Я. Брейтбарта. Вычисления на машинах Тьюринга со входом / Ф. К. Хенни ; пер. А. Набибина. Распознавание на машинах Тьюринга со входом / П. Стрнад ; пер. Ю. А. Бухштаба. Сложность вычислений на одноленточных машинах Тьюринга / Дж. Хартманис ; пер. А. А. Мучника. Иерархии вычислений с ограниченной памятью / Р. Е. Стирнз, Дж. Хартманис, П. М. Льюис II ; пер. М. И. Кановича. Границы памяти для разрешения контекстно-свободных и контекстных языков / М. П. Льюис II, Р. Е. Стирнз, Дж. Хартманис ; пер. М. И. Кановича. Об объеме памяти, необходимом для распознавания бесконтекстных языков / Дж. Хартманис ; пер. М. В. Ломковской. Распознавание и анализ контекстно-свободных языков за время n3 / Д. Х. Янгер ; пер. В. Е. Фельдмана. О времени машинного распознавания языков, порожденными линейными грамматиками / Т. Касами ; пер. В. Е. Фельдмана. Решение задачи о пересечении начала координат в реальное время / М. Фишер, А. Розенберг ; пер. В. Е. Фельдмана. Счетчиковые машины и счетчиковые языки / М. Фишер, А. Мейер, А. Розенберг ; пер. В. Е. Фельдмана. Машинно-независимая теория сложности рекурсивных функций / М. Блюм ; пер. В. А. Козмидиади. Об объеме машин / М. Блюм ; пер. А. А. Мучника. -

УДК

510.6(082)

164(082)

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

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

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

   51 ЛМК
   П 77

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

УДК

510.6(075.8)

164

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

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

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

10.

   16 ЛМК
   П 76


    Применение логики в науке и технике [Текст] : [сборник статей] / Акад. наук СССР, Ин-т философии ; [редкол.: П. В. Таванец (отв. ред.) и др.]. - Москва : Издательство Академии наук СССР, [1960]. - 557, [2] с. : ил., табл. ; 23 см. - Библиогр. в конце ст. - Содерж.: О некоторых чертах развития математической логики и отношении ее к техническим приложениям / С. А. Яновская. К обоснованию теории множеств / А. С. Есенин-Вольпин. Формальный и семантический анализ синтаксических связей в языке / И. И. Ревзин. О логической форме лингвистических определений / И. И. Ревзин. Операционные определения и их применение в фонологии / С. К. Шаумян. Значение аксиоматического метода в учении о направлениях изменений живых систем / Ю. В. Петров. Дедуктивный метод в исследовании высказываний о связях / А. А. Зиновьев. К вопросу об общности высказываний о связях / А. А. Зиновьев. Об одном варианте теории определений / А. А. Зиновьев. О групповой инвариантности булевых функций / Г. Н. Поваров. О двойной арифметической интерпретации трехзначного исчисления в высказывании, используемой при моделировании этого исчисления посредством релейно-коммутаторных схем / В. И. Шестаков. О некоторых вопросах физической реализации устройств, выполняющих логические функции / М. Л. Цетлин, Л. М. Шехтман. Применение многозначной логики в теории релейных схем / Т. Д. Майстрова. Событийный и сужденческий аспекты логики в связи с логическими задачами техники / Г. Н. Поваров. "Фазовый способ" в формальной логике / Б. М. Кедров. Теория смысла Готлоба Фреге / Б. В. Бирюков. - 10 000 прим.. -

УДК

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

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

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

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

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

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