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

Базы данных

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

Вид поиска

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

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

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

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

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

в найденном

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

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

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

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

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

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

1-20 21-40 41-43

   51 ЛМК
   M70

    Milnes, Alfred (1849 - 1921).
    Elementary notions of logic [Text] : designed as prolegomena to the study of geometry / by Alfred Milnes, M. A. (Lond.) late scholar of Lincoln College, Oxford. - 2nd ed., rev. a. enl. - London : W. Swan Sonnenschein & Co., 1884. - IX, [1], 135 c. : ил. ; 19 см. -

УДК

510.6

514

164

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

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

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

   51 ЛМК
   S33

   Schröder, Ernst (1841 - 1902)
    Vorlesungen über die Algebra der Logik [Text] : (exakte Logik) : [Band 1 - 3] / von Dr. Ernst Schröder ... . - Leipzig : Druck und Verlag von B. G. Teubner, 1890 - 1905. - 24 cм.
   Bd. 1. - 1890. - XII, 717 c. : ил. - Библиогр.: с. 700 - 715. - Указ имен: с. 716 - 717. -

УДК

510.6

164

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

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

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

   111 ЛМК
   Н 48

    Некрасов, Павел Алексеевич (1853 - 1924).
    Философия и логика науки о массовых проявлениях человеческой деятельности [Текст] : (пересмотр оснований социальной физики Кетле) : [читано в заседании Московского математического общества 24 сентября 1902 года] / П. А. Некрасов. - Москва : Издание Математического общества, состоящего при Императорском Московском университете, 1902 (Университетская типография). - V, [1], 138, [1] с. ; 26 см. - Библиогр. в подстроч. примеч. - Отт. из "Мат. сб." Т. 23. -

УДК

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

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

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

   51 ЛМК
   L44

    Lebesgue, Henri Léon (1875 - 1941).
    Leçons sur l'intégration et la recherche des fonctions primitives, professées au Collège de France par Henri Lebesgue ... [Text]. - Paris : Gauthier-Villars, 1904. - [2], VII, [1], 138 c. : табл. ; 25 см. - (Collection de monographies sur la théorie des fonctions / publiée sous la direction de m. Émile Borel). -

УДК

510.6

164

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

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

Доп.точки доступа:
Lebesgue, Henri Léon (1875 - 1941); Borel, Félix Edouard Justin Émile (1871 - 1956) \ред.\; Борель, Феликс Эдуард Жустин Эмиль (1871 - 1956); Лебег, Анри Леон (1875 - 1941)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   001 ЛМК
   П 88

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

УДК

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

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

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

   51 ЛМК
   К 95

    Кутюра, Луи (1868 - 1914).
    Алгебра логики [Текст] / Л. Кутюра ; пер. с прибавлениями проф. И. Слешинского. - Одесса : Mathesis, 1909. - IV, [2], 108, XIII, [1] с. ; 23 см. - Библиогр.: с. 103 - 104 (19 назв.). -

УДК

510.6

164

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

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

Доп.точки доступа:
Слешинский, Иван Владимирович \пер.\; Couturat, Louis (1868 - 1914)
Экземпляры всего: 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 ЛМК
   К 95

    Кутюра, Луи (1868 - 1914).
    Философские принципы математики [Текст] / Л. Кутюра ; пер. с фр. Б. Кореня ; под ред. П. С. Юшкевича ; со вступ. ст. Ф. Ф. Линде. - СПб. : Издание Н. П. Карбасникова, 1913 (Типография Кюгельген, Глич и К°). - VIII, 260, [5] с. ; 25 см. - Библиогр. в подстроч. примеч. - Указ. имен в конце кн. -

УДК

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

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

Доп.точки доступа:
Корень, Б. \пер.\; Юшкевич, Павел Соломонович (1873 - 1945) \ред.\; Линде, Ф. Ф. \авт. предисл.\; Couturat, Louis (1868 - 1914)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

   51 ЛМК
   W67

    Wigge, Heinrich.
    Der Zahlbegriff in der neueren Philosophie [Text] : eine kritische Studie / von Dr. Heinrich Wigge, Dozent am Friedrichs-Polytechnikum Cöthen. - Langensalza : Wendt & Klauwell, 1921. - [4], 56 c. ; 24 см. - Библиогр.: с. 56 (17 назв.). -

УДК

510.6

164

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

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

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

10.

   51 ЛМК
   Г 47

    Гильберт, Давид (1862 - 1943).
    Основы теоретической логики [Текст] / Д. Гильберт и В. Аккерман ; пер. с нем. А. А. Ерофеева ; ред., вступ. ст. и коммент. С. А. Яновской. - Москва : Государственное издательство иностранной литературы, 1947. - 302, [4] с. : ил., табл. ; 21 см. - Библиогр.: с. 297 - 298. - Предм. указ.: с. 299 - 302. - Пер. изд. : Grundzuge der theoretischen Logik / von D. Hilbert u. W. Ackermann. - 2., verb. Aufl. - New York, 1946. - 10 000 экз.. -

УДК

510.6

164

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

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

Доп.точки доступа:
Аккерман, Вильгельм Фридрих (1896 - 1962); Ackermann, Wilhelm Friedrich (1896 - 1962); Ерофеев, А. А. \пер.\; Яновская, София Александровна (1896 - 1966) \авт.\; Hilbert, David (1862 - 1943)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

11.

   51 ЛМК
   П 58

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

УДК

510.6

164

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

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

12.

   16 ЛМК
   Л 69


    Логические исследования [Текст] : сборник статей / Акад. наук СССР, Ин-т философии ; [редкол.: Э. Кольман и др.]. - Москва : Издательство Академии наук СССР, 1959. - 465, [1] с. : ил., табл. ; 23 см. - Библиогр. в конце ст. - Содерж.: Значение символической логики / Э. Кольман. Элементы алгебры логики и теории семантических антиномий в поздней средневековой логике / Н. И. Стяжкин. Упрощение П. С. Порецким некоторых алгоритмов классического исчисления высказываний / Н. И. Стяжкин. О философской сущности "семантической концепции истины" / В. В. Мшвениерадзе. Об основах квантово-релятивистской логики / Б. Г. Кузнецов. Логическое строение знаний о связях / А. А. Зиновьев. К вопросу о каузальной импликации / В. С. Швырев. Логический анализ понятия фонемы / С. К. Шаумян. Пустые классы и аристотелева логика / А. И. Уёмов. О соотношении логики и математики в системах типа Principia Mathematica / А. Д. Гетаманова. Анализ потенциальной осуществимости / А. С. Есенин-Вольпин. Об одном классе нормальных алгорифмов Маркова / В. С. Чернявский. Логика и автоматизация / Г. Н. Поваров. Моделирование операций исчисления высказываний посредством релейно-контактных схем / В. И. Шестаков. О построении общей теории логических сетей / Н. Е. Кобринский, Б. А. Трахтенберг. Математико-логическое исследование синтеза контактных схем с одним выходом и К выходами / Г. Н. Поваров. О логическом синтезе электронных вычислительных и управляющих схем / Г. Н. Поваров. О коммутационных схемах и их логической сущности / А. Д. Харкевич. Логический синтез схем релейного действия, содержащих сопротивления и контакты / Б. М. Раков. Аналитический синтез многотактных схем по формулам включения / А. Н. Юрасов. Применение в телефонии алгебры логики при анализе и синтезе релейно-контактных схем / В. Ф. Дьяченко, В. Г. Лазарев. - 5 000 экз.. -

УДК

Рубрики: Логика--Сборники
Математическая логика--Сборники
Философия русская, 20 в.
Аннотация: Данный выпуск "Логических исследований" состоит из двух частей. В первой части содержатся статьи по общим вопросам математической (символической) логики, ее истории и отдельным приложением ; во второй части помещены статьи, касающиеся разработки и практических применений математической логики в связи с задачами математики и техники.

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

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

13.

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

14.

   51 ЛМК
   П 77

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

УДК

510.6(075.8)

164

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

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

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

15.

   16 ЛМК
   П 76


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

УДК

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

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

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

16.

   51
   Б 48

    Беркли, Эдмунд (1909 - 1988).
    Символическая логика и разумные машины [Текст] / Э. Беркли ; пер. с англ. И. В. Соловьева ; под ред. и с предисл. Г. Н. Поварова. - Москва : Издательство иностранной литературы, 1961. - 260 с. : ил. ; 21 см. - Библиогр.: с. 241 - 252. - Пер. изд. : Symbolic logic and intelligent machines / Edmund C. Berkeley. - New York ; London. -

УДК

510.6

004.8

164

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

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

Доп.точки доступа:
Соловьев, И. В. \пер.\; Поваров, Геллий Николаевич (1928 - 2004) \авт.\; Berkeley, Edmund Callis (1909 - 1988)
Экземпляры всего: 1
ЛЧЗ (1)
Свободны: ЛЧЗ (1)
Найти похожие

17.

   51 ЛМК
   Е 92

    Ефремов, Георгий Осипович (1912 - 1991).
    Математическая логика и машины [Текст] / Г. О. Ефремов. - Москва : Знание, 1962. - 43, [3] с. : ил., табл. ; 22 см. - (Новое в жизни, науке, технике. Серия 9, Физика и химия ; 1962, №10). - Библиогр. в конце кн.: с. [45] (8 назв.). - 40 000 экз.. -

УДК

510.6(0.062)

164(0.062)

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

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

18.

   51 ЛМК
   Д 35

    Депман, Иван Яковлевич (1885 - 1970).
    Первое знакомство с математической логикой [Текст] / И. Я. Депман ; О-во "Знание" РСФСР, Ленингр. отд-ние. - Ленинград : [б. и.], 1963. - 55, [1] с. : ил., портр., табл. ; 20 см. - 14 400 экз.. -

УДК

510.6(0.062)

164(0.062)

19.

   51
   Л 69


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

УДК

51:1

164

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

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

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

20.

   51 ЛМК
   К 17

    Калужин, Лев Аркадьевич.
    Что такое математическая логика? [Текст] / Л. А. Калужин. - Москва : Наука, 1964. - 149, [2] с. : ил., табл. ; 20 см. - Библиогр. в конце кн.: с. 149 - [150] (29 назв.). - 42 000 экз.. -

УДК

1-20 21-40 41-43

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

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

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

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