Г79 Грэй, Питер. Логика, алгебра и базы данных [Текст] : научное издание / П. Грэй ; Перевод с англ. Х. И. Килова, Г. Е. Минца. - Москва : Машиностроение, 1989. - 368с : ил. ; 22 см. - Библиогр.: с. 348-358 (131 назв.). - 15000 экз.. - ISBN 5-217-00178-X (в пер.) : 1р. 80 р. Перевод изд.: Logic, algebra and databases / Peter M. D. Gray (New York etc.) Рубрики: Математическая логика Алгебра--Базы данных ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
Я 49 Якубайтис, Эдуард Александрович. Логические автоматы и микромодули [Текст] : монография / Э. А. Якубайтис ; Акад. наук Латвийской ССР, Ин-т электрон. и вычислит. техники. - Рига : Зинатне, 1975. - 259 с. : ил., табл. ; 22 см. - Предметный указатель: с. 252-256. - 2300 экз.. - (в пер.) : 1.35 р. Рубрики: Математическая логика Кл.слова (ненормированные): ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ -- МИКРОМОДУЛЬНЫЕ ЭЛЕМЕНТЫ -- ТЕОРИЯ КОНЕЧНЫХ АВТОМАТОВ -- ДИСКРЕТНЫЕ СИСТЕМЫ АВТОМАТИЧЕСКОГО УПРАВЛЕНИЯ Доп.точки доступа: Институт электроники и вычислительной техники (Рига) ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
Г 75 Градштейн, Израиль Соломонович. Прямая и обратная теоремы : элементы алгебры логики / И. С. Градштейн. - 4-е издание, стереотипное. - Москва : Наука Главная редакция физико-математической литературы, 1965. - 127, [1] с. : ил., табл. ; 20 см. - Библиография в подстрочном примечании. - 50000 экз.. - 0.22 р. Рубрики: Теоремы--Доказательства Математическая логика ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Д 35 Искусственные водные пути.Первое знакомство с математической логикой / И. Я. Депман ; Общество " Знание " РСФСР, Ленинградская организация. - 2-е издание, исправленное. - Ленинград : Знание, 1965. - 55, [1] с. : ил., табл. - 0.08 р. Рубрики: Математическая логика Доп.точки доступа: Общество " Знание " РСФСР. Ленинградская организация ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Л 69 Логическая структура научного знания : сборник статей / Академия наук CCCР, Институт философии ; ответственный редактор П. В. Таванец. - Москва : Наука, 1965. - 350 с. ; 20см. - Библиография: с. 349. - 6200 экз.. - (в пер.) : 1.29 р. Рубрики: математическая логика Кл.слова (ненормированные): математическая логика -- семиотика -- логика научного познания Доп.точки доступа: Таванец, Пётр Васильевич \отв. ред.\; Академия наук СССРИнститут философии ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
М 21 Мальцев, Анатолий Иванович. Алгоритмы и рекурсивные функции / А. И. Мальцев. - Москва : Наука : Главная редакция физико-математической литературы, 1965. - 391 с. ; 22. - Библиогр.: с. 375-381. - 13000 экз.. - (в пер.) : 1.22 р. Рубрики: Алгоритмы--Теория Математическая логика ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
О-88 Стяжкин, Николай Иванович. Формирование математической логики / Н. И. Стяжкин ; ответственный редактор А. Л. Субботин ; Академия наук СССР. - Москва : Наука, 1967. - 508 с. ; 21 см. - 9500 экз.. - (в пер.) : 2.28 р. Рубрики: Математическая логика Доп.точки доступа: Субботин, А. Л. \ред.\; Академия наук СССР ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Г 45 Гжегорчик, Анджей. Популярная логика. Общедоступный очерк логики предложений [Text] / А. Гжегорчик ; перевод с польского С. П. Беляева. - 2-е издание, исправленное. - Москва : Наука, 1972. - 111 с. ; 20 см. - Пер. изд. : Logica popularna / A. Grzegorczyk. - 80000 экз.. - 0.26 р. На обор. тит. л .: Andrzej Grzegorczyk. Logica popularna. Рубрики: Математическая логика Доп.точки доступа: Беляев, С. П. \пер.\; Grzegorczyk, A. ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Ц 34 Целищев, Виталий Валентинович. Логика существования [Текст] / В. В. Целищев ; редактор В. Н. Костюк ; Академия наук СССР, Сибирское отделение , Институт истории, филологии и философии. - Новосибирск : Наука, 1976. - 148 с. ; 20 см. - Библиография: с. 144-147. - 5500 экз.. - 0.46 р. Рубрики: Математическая логика Кл.слова (ненормированные): ЭКЗИСТЕНЦИАЛЬНЫЕ ПРЕДПОЛОЖЕНИЯ Аннотация: Она посвящена анализу философских проблем, связанных с экспликацией средствами логики понятия существования; на основании исследований, проведенные в последние 10-12 лет, описываются полученные в математической логике результаты, имеющие большое значение для критики философии неопозитивизма. Доп.точки доступа: Костюк, Владимир Николаевич \ред.\; Академия наук СССРСибирское отделение . Институт истории, филологии и философии ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
С 74 Справочная книга по математической логике [Текст] : в 4-х частях / под редакцией Дж. Барвайса. - Москва : Наука, 1982 - 1983. - 22 см. Ч. 3 : Теория рекурсии / Г. Б. Эндертон, М. Девис, М. О. Рабин ; перевод с английского С. Г. Дворникова, И. А. Лаврова ; под редакцией Ю. Л. Ершова. - 1982. - 360 с. - 20000 экз.. - (в пер.) : 2.00 р. Рубрики: Математическая логика--Справочники Доп.точки доступа: Барвайс, Дж. \ред., авт.\; Эндертон, Герберт Б.; Девис, М.; Рабин, М. О.; Дворников, С. Г. \пер.\; Лавров, Игорь Андреевич \пер.\; Ершов, Юрий Леонидович \ред.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
И 88 Исследования по теории алгорифмов и математической логике [Текст] : сборник работ / Академия наук СССР, Вычислительный центр; под редакцией: А. А. Маркова, Б. А. Кушнера. - Москва : Вычислительный центр АН СССР, 1973 - . Т. 2. - 1976. - 160 с. : ил. ; 21 см. - 1560 экз.. - 0.59 р. Рубрики: Алгоритмы--Сборники Математическая логика--Сборники Доп.точки доступа: Марков, А. А. \ред.\; Кушнер, Б. А. \ред.\; Академия наук СССР. Вычислительный центр ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Ч-43 Чень, Ч. Математическая логика и автоматическое доказательство теорем [Текст] / Ч. Чень, Р. Ли ; перевод с английского Г. В. Давыдова [и др.], под редакцией С. Ю. Маслова. - Москва : Наука, 1983. - 358 с. ; 22 см. - (Математическая логика и основания математики). - 8500 экз.. - (в пер.) : 2.20 р. Перевод изд.: Symbolic logic and mechanical theorem proving / Chin-Liang Chang, Richard Char-Tung Lee (New York etc., 1973) Рубрики: Математическая логика Теоремы Доп.точки доступа: Ли, Р.; Давыдов, Г. В. \пер.\; Маслов, С. Ю. \ред.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Я 47 Яковлев, В. Ф. Элементы математической логики [Текст] : учебное пособие / В. Ф. Яковлев, В. И. Горюнов. - Москва : МИСИ, 1983. - 119 с. ; 20 см. - 600 экз.. - 00.45 р. Рубрики: Математическая логика Доп.точки доступа: Горюнов, В. И. ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Г 75 Градштейн, Израиль Соломонович. Прямая и обратная теоремы. Элементы алгебры логики [Текст] / И. С. Градштейн. - 5-е издание. - Москва : Наука, 1972. - 128 с. : черт. ; 20 см. - 50000 экз.. - 0.24 р. Рубрики: Математический анализ --Функциональный анализ Математическая логика ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Б 24 Барендрегт, Хендрик Питер. Ламбда- исчисление. Его синтаксис и семантика. [Текст] / Х. П. Барендрегт; под редакцией А. С. Кузичева, перевод с английского Г. Е. Минца. - Москва : Мир, 1985. - 606 с. : граф. ; 22 см. - Пер. изд. : The Lambda Calculus. Its Syntax and Semantics. / H. P. Barendregt. - Amsterdam ; New York ; Oxford, 1981. - 4800 экз.. - (в пер.) : 3.70 р. Рубрики: Математическая логика Доп.точки доступа: Минц, Г. Е. \пер.\; Кузичев, А. С. \ред.\; Barendregt, H. P. ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
К 60 Колмогоров, Андрей Николаевич. Математическая логика [Текст] : дополнительные главы / Андрей Николаевич Колмогоров, Альберт Григорьевич Драгалин. - Москва : Московский университет, 1984. - 119 с. ; 21 см. - Библиография: с. 117 (19 назв.). - 13150 экз.. - 00.25 р. Рубрики: Математическая логика--Учебники и пособия Доп.точки доступа: Драгалин, Альберт Григорьевич ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |