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

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

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

Доп.точки доступа:
Беляев, С. П. \пер.\; 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 экз.. -

УДК

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

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

Доп.точки доступа:
Кабаков, Ф. А. \пер.\; Адян, Сергей Иванович (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. -

УДК

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

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

Доп.точки доступа:
Чэн, Чень-чунь; 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)

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

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

Доп.точки доступа:
Улам, Станислав Марцин (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)
Найти похожие

11.

   51 ЛМК
   П 78


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

УДК

510.6(082)

164(082)

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

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

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

12.

   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 экз.. -

УДК

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

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

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

13.

   16 ЛМК
   Г 56


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

УДК

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

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

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

14.

   51 ЛМК
   Г 47

    Карри, Хаскелл Брукс (1900 - 1982).
    Основания математической логики [Текст] / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - Москва : Мир, 1969. - 567, [1] с. : ил. ; 22 см. - Библиогр.: с. 518 - 547. - Указ. символов: с. 548. - Указ. терминов: с. 549 - 562. - Указ. имен: с. 563 - 567. - Пер. изд. : Foundations of mathematical logic / by Haskell B. Curry. - New York [etc.], 1963. -

УДК

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

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

Доп.точки доступа:
Донченко, В. В. \пер.\; Гастев, Юрий Алексеевич (1928 - 1993) \ред.\; Curry, Haskell Brooks (1900 - 1982)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

15.

   51 ЛМК
   Л 59

    Линдон, Рогер Конант (1917 - 1988).
    Заметки по логике [Текст] / Р. Линдон ; пер. с англ. Ю. А. Гостева ; под ред. И. М. Яглома. - Москва : Мир, 1968. - 127, [1] с. : ил. ; 20 см. - ("Современная математика" : популярная серия). - Библиогр.: с. 123. - Указ.: с. 124 - 127. - Пер. изд. : Notes on logic / by Roger C. Lyndon, University of Michigan. - Princeton, New Jersey [etc.], 1966. -

УДК

51(0.062)

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

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

Доп.точки доступа:
Яглом, Исаак Моисеевич (1921 - 1988) \ред.\; Гастев, Юрий Алексеевич (1928 - 1993) \пер.\; Lyndon, Roger Conant (1917 - 1988)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

16.

   51 ЛМК
   Л 19

    Лакатос, Имре (1922 - 1974).
    Доказательства и опровержения [Текст] : как доказываются теоремы / И. Лакатос ; пер. с англ. И. Н. Веселовского ; Акад. наук СССР. - Москва : Наука, 1967. - 150, [2] с. : ил. ; 20 см. - Библиогр. в конце кн.: с. 146 - [151]. - 70 000 экз.. -

УДК

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

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

Доп.точки доступа:
Веселовский, Иван Николаевич (1892 - 1977) \пер.\; Lakatos, Imre (1922 - 1974)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

17.

   16 ЛМК
   Г 59

   Гокиели, Леван Петрович (1901 - 1975)
    Логика [Текст] : [монография : часть 1 - 2] / Л. П. Гокиели ; [Акад. наук Груз. ССР, Ин-т философии]. - Тбилиси : Мецниереба, 1965 - 1967. - 22 см. - Парал. тит. л. груз. - 1 000 экз..
   [Ч.] 2. - 1967. - 269, [2] с. - Библиогр. в подстроч. примеч. - Указ. в конце кн.: с. 256 - [270]. -

УДК

1(479.22)

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

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

18.

   51 ЛМК
   П 30

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

УДК

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

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

19.

   51 ЛМК
   A88

   Asser, Günter
    Einführung in die mathematische Logik [Text] : [Teil 1 - 3] / von Dr. G. Asser, Prof. mit vollem Lehrauftrag am Mathematische Inst. der Ernst-Moritz-Arndt-Universität Greifswald. - 3. unveränd. Aufl. - Berlin : B. G. Teubner, 1967 - . - 21 cм.
   T. 1 : Aussagenkalkül. - 1967. - IV, [2], 184 c. : табл. - (Mathematisch-Naturwissenschaftliche Bibliothek ; 18). - Библиогр. в конце предисл.: с. [VI] (15 назв.). -

УДК

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

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

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

20.

   51 ЛМК
   К 62

    Кольман, Эрнест Яромирович (1892 - 1979).
    Занимательная логика [Текст] : [перевод с чешского] / Э. Кольман, О. Зих. - Москва : Наука, 1966. - 126, [1] с. : ил., табл. ; 20 см. - (Научно-популярная серия / Акад. наук СССР). - Библиогр.: с. 124 (8 назв.). - 50 000 экз.. -

УДК