Набебин, Алексей Александрович. Логика и Пролог в дискретной математике [Текст] : монография / А. А. Набебин. - М. : Изд-во МЭИ, 1996. - 450 с. : ил. - Библиогр.:с.435-440. - ISBN 5-7046-0162-6 : Б. ц.
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Логика и компьютер [Текст] : монография. - М. : Наука, 1995. - 129 с. - (Кибернетика: неограниченные возможности и возможные ограничения). - Б. ц.
Кл.слова (ненормированные): Математическая логика -- Компьютер Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
В 75 Воротников, С. М. Введение в математическую логику [Текст] : учеб.пособие для электротехн.специальностей / С.М. Воротников; Гос.ком.Рос.Федерации по высш.образованию.Комсом.-на-Амуре гос.техн.ун-т. - Комсомольск-на-Амуре : [б. и.], 1996. - 128 с. - ISBN 5-230-21447-3 : Б. ц.
Кл.слова (ненормированные): Дискретные автоматы -- Математическая логика -- Учебник Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Ostebee, A. Calculus from Graphical,Numerical,and Symbolic Points of View [Text] : vol.1 / A. Ostebee, P. Zorn. - Prelim.ed. - San Diego ; N.Y.etc. : Saunders College Publishing, 1994. - 490 p. - ISBN 0-03-098731-8 : 400 тг.
Кл.слова (ненормированные): Графические -- Цифровые -- Символические -- Геометрия -- Алгебра -- Тригонометрия Доп.точки доступа: Zorn, P. Экземпляры всего: 1 ИЛ (1) Свободны: ИЛ (1) |
Заде, Л. Понятие лингвистической переменной и его применение к принятию приближенных решений [Текст] : пер.с англ. / Л. Заде; Под ред.Н.Н.Моисеева, С.А.Орловского. - М. : Мир, 1976. - 165 с. : ил. - (Математика. Новое в зарубежной науке). - Б. ц.
Доп.точки доступа: Моисеева, Н.Н. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Л 13 Лавров, И. А. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : учебное пособие / И.А. Лавров, Л.Л. Максимова. - 2-е изд. - М. : Наука, 1984. - 223 с. - Библиогр.:с.214-215(39 назв.). - Б. ц.
Математическая логика Доп.точки доступа: Максимова, Л.Л. Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Клини, Стефан Коул. Математическая логика [Текст] : пер.с англ. / Стефан Коул Клини; Под ред.Г.Е.Минца. - М. : Мир, 1973. - 480 с. - Библиогр.:с.451-465. - Б. ц.
Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
В 67 Волгин, Л. И. Непрерывная логика.Теория и применение [Текст] / Л.И.Волгин,В.И.Левин. - Таллин : [б. и.], 1990. - 210 с. - Библиогр.:с.189-204 (183 назв.). - Б. ц.
Доп.точки доступа: Левин, В.И. Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Логика и компьютер: Моделирование рассуждений и проверка правильности прогр. [Текст] / Н.А.Алешина, А.М.Анисов, П.И.Быстров и др. ; Науч.ред.Е.Д.Смирнова. - М. : Наука, 1990. - 238 с. : ил. - (Кибернетика: неограниченные возможности и возможные ограничения). - Библиогр.:с.231-235 (52 назв.). - ISBN 5-02-007156-0 : Б. ц.
Вычислительные машины электронные--программирование Доп.точки доступа: Алешина, Н.А.; Смирнова, Е.Д. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Л 69 Логический подход к искусственному интеллекту: От классич.логики к логическому программированию [Текст] : пер.с фр. / А.Тейз, П.Грибомон, Ж.Луи и др. - М. : Мир, 1990. - 429 с. : ил. - Библиогр.:с.411-417 (115 назв.). - ISBN 5-03-001636-8 : Б. ц.
Доп.точки доступа: Тейз, А. Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Ковальски , Р. Логика в решении проблем [Текст] : пер. с англ. / Р. Ковальски . - М. : Наука, 1990. - 277 с. : ил. - (Проблемы искусственного интеллекта ; вып.18). - Библиогр.:с.263-271. - ISBN 5-02-014148-8 : Б. ц.
Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
К 90 Кулпешов, Бейбут Шайыкович. Слабая О-минимальность линейно упорядоченной структуры [Текст] / Бейбут Шайыкович Кулпешов; М-во образования и науки Респ.Казахстан ; Ин-т проблем информатики и управления. - Алматы : [б. и.], 2002. - 79 с. - Библиогр.:с.75-78. - ISBN 9965-13-307-7 : 50 тг
Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
С 81 Столяр, Абрам Аронович. Как математика ум в порядок приводит [Текст] / А.А. Столяр. - 2-е изд., перераб. и доп. - Минск : Вышэйш.шк., 1991. - 204 с. : ил. - ISBN 5-339-00587-9 : Б. ц.
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Лобанов, Владимир Иванович. Азбука разработчика цифровых устройств [Текст] : монография / В. И. Лобанов. - М. : Горячая Линия-Телеком, 2001. - 191 с. - (Массовая радиобиблиотека ; вып.1238). - Библиогр.: с.188-189 (31 назв.) . - ISBN 5-93517-024-8 : 270.85 тг.
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
А 72 Антипенко, Леонид Григорьевич. Проблема неполноты теории и ее гносеологическое значение [Текст] : монография / Л.Г. Антипенко; Отв.ред.Н.И.Стяжкин, Л.И,Мчедлишвили. - М. : Наука, 1986. - 224 с. - Библиогр.: с. 219-222 (18 назв.). - Б. ц.
Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Б 24 Барендрегт, Х. П. Ламбда-исчисление. Его синтаксис и семантика [Текст] : пер.с англ. / Х.П. Барендрегт. - М. : Мир, 1985. - 606 с. - Библиогр.:с.574-586. - Б. ц.
Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
Г 91 Грэй, П. Логика, алгебра и базы данных [Текст] : пер.с англ. / П. Грэй; Ред. Г.В. Орловский, Ред. А.О. Слисенко. - М. : Машиностроение, 1989. - 359 с. - Библиогр.: с.348-358 (131 назв.) . - ISBN 5-217-00178-X : Б. ц.
Доп.точки доступа: Орловский, Г.В. \ред.\; Слисенко, А.О. \ред.\ Экземпляры всего: 2 ХР (2) Свободны: ХР (2) |
М 31 Маслов, С. Ю. Теория дедуктивных систем и ее применения [Текст] / С.Ю. Маслов. - М. : Радио и связь, 1986. - 135 с. - (Кибернетика). - Библиогр.: с.129-131 (61 назв.) . - Б. ц.
Математическая логика Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Л 13 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : сб. / И. А. Лавров, Л. Л. Максимова. - 5-е изд.,испр. - М. : Физматлит, 2004. - 255 с. - Библиогр.: с. 248-249 (56 назв.). - ISBN 5-9221-0026-2 : 334.78 тг.
Математическая логика Доп.точки доступа: Максимова, Лариса Львовна Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
С 14 Сайфуллаев, Н. М. Логический анализ понятия количества [Текст] / Н. М. Сайфуллаев ; ред. К. К. Одинаев ; АН ТаджССР,Отд.философии. - Душанбе : Дониш, 1989. - 133 с. - Библиогр.: с. 129-134. - Б. ц.
Доп.точки доступа: Одинаев, К.К. \ред.\ Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |