A846634-ОХФ Модели, алгоритмы, программы [Текст] : сб. науч. тр. - Тверь : [б. и.], 1993. - 133 с. : ил. - Библиогр. - ISBN 5-230-08503-7 : 17.00 р.
Рубрики: математика--математика Кл.слова (ненормированные): математическая кибернетика -- математическая логика -- игр теория -- вероятностей теория -- вычислительная математика Экземпляры всего: 1 ОХФ (1) |
A627886-ОХФ Алгебра и логика [Текст] : сб. науч. тр. - Новосибирск : [б. и.]. Т. 31, N 1. - 1992. - 98 с. - Библиогр. - ISBN 5-7623-0396-2 : 15.00 р.
Рубрики: математика--алгебра Кл.слова (ненормированные): высшая алгебра -- математическая логика Экземпляры всего: 1 ОХФ (1) |
A844541-ОХФ Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.]. Вып. 139 : Теория вычислимости и языки спецификаций. - 1991. - 192 с. - ISBN 5-7623-0102-8 : 4.80 р.
Рубрики: математика--математическая логика вычислительная техника--ЭВМ Кл.слова (ненормированные): математическая логика -- вычислимости теория -- языки спецификаций Экземпляры всего: 1 ОХФ (1) |
A847877-ОХФ Жоль, Константин Константинович. Логика в лицах и символах [Текст] : науч.-попул. кн. / К. К. Жоль. - Москва : Педагогика-Пресс, 1993. - 256 с. : ил. - Библиогр. - ISBN 5-7155-0494-5 : 1000.00 р.
Рубрики: логика--логика Кл.слова (ненормированные): логика -- логика и математика -- логика и кибернетика -- логика и техника -- математическая логика Экземпляры всего: 1 ОХФ (1) |
A197248-ОХФ Hilbert, Alfred. Mathematik [Текст] : справочное издание / Alfred Hilbert. - 2. Aufl. - Leipzig : Fachbuchverl., 1989. - 672 S. : Bild. - (Nachschlagebucher fur Grundlagenfacher). - ISBN 3-343-00248-8 : 70.00 р.
Рубрики: математика--математика Кл.слова (ненормированные): математическая логика -- множеств теория -- числа -- уравнения -- неравенства -- реальные функции -- векторное исчисление -- матричное исчисление -- вероятностей теория -- описательная статистика -- элементарная геометрия Экземпляры всего: 1 ОХФ (1) |
A847444-ОХФ Волгин, Леонид Иванович. Комплементарная алгебра и моделирование нейронных структур [Текст] = Complementary Algebra and Simulation of Neural Structures / Л. И. Волгин ; . - Таллинн : АО "KLTK", 1993. - 47 с. : ил. - Библиогр. - 40.00 р.
Рубрики: медицина--физиология математика--алгебра Кл.слова (ненормированные): нейробионика -- нейронные сети -- нервные сети -- булева алгебра -- многозначные логики -- математическая логика -- математическое моделирование -- комплементарная алгебра -- алгебра логики Экземпляры всего: 1 ОХФ (1) |
A855971-ОХФ, A855972-ОХФ, A858352-ОХФ Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : сб. задач / И. А. Лавров, Л. Л. Максимова. - 3-е изд. - Москва : Физматлит, 1995. - 255 с. - Библиогр. - ISBN 5-02-014844-X : 4000.00 р.
Рубрики: математика--теория множеств--математическая логика--теория алгоритмов Кл.слова (ненормированные): множеств теория -- математическая логика -- алгоритмов теория Доп. точки доступа: Максимова, Лариса Львовна Экземпляры всего: 3 ОХФ (3) |
A856987-ОХФ Грэй, Питер. Логика, алгебра и базы данных [Текст] / П. Грэй ; . - Москва : Машиностроение, 1989. - 360 с. - Библиогр. - ISBN 5-217-00178-X , 0-470-2025 (в пер.) : 3000.00 р.
Рубрики: вычислительная техника--базы и банки данных Кл.слова (ненормированные): математическая логика -- алгебра -- базы данных -- экспертные системы -- реляционное исчисление -- Кодасил концепция -- пролог Экземпляры всего: 1 ОХФ (1) |
A862953-ОХФ Александрова, Регина Александровна. Элементы теории множеств и математической логики [Текст] : практикум / Р. А. Александрова, А. М. Потапова ; . - Калининград : [б. и.], 1997. - 65, [3] c. : ил. - Библиогр. - ISBN 5-88874-059-4 : 5000.00 р.
Рубрики: математика--теория множеств--математическая логика Кл.слова (ненормированные): множеств теория -- математическая логика Доп. точки доступа: Потапова, Алевтина Михайловна Экземпляры всего: 1 ОХФ (1) |
A865103-ОХФ Фреге, Готлоб. Избранные работы [Текст] / Г. Фреге ; . - Москва : Дом интеллектуал. кн., 1997. - 160 с. - ISBN 5-7333-0435-9 : 14.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- логическое исследование -- алгебра логики Экземпляры всего: 1 ОХФ (1) |
A865464-ОХФ, A865465-ОХФ, A865466-ОХФ, A865467-ОХФ, A865468-ОХФ, A871514-ОХФ, A878049-ОХФ Непейвода, Николай Николаевич. Прикладная логика [Текст] : учеб. пособие для студентов вузов / Н. Н. Непейвода ; . - Ижевск : Изд-во Удм. ун-та, 1997. - 384 с. - ISBN 5-7029-0074-X (в пер.) : 25.00 р.
Рубрики: логика--логика Кл.слова (ненормированные): естественный вывод -- математическая логика -- высказывания -- логические формулы -- классическая логика -- математические методы -- индукция -- нестандартный анализ Экземпляры всего: 7 ОХФ (7) |
A865738-ОХФ-ЧЗ-4, A865947-ОХФ, A865948-ОХФ Лихтарников, Леонид Моисеевич. Математическая логика [Текст] : курс лекций : задачник-практикум и решения : учеб. пособие для вузов по мат. специальностям / Л. М. Лихтарников, Т. Г. Сукачева. - Санкт-Петербург : Лань, 1998. - 285 с. - Библиогр. - ISBN 5-8114-0082-9 (в пер.) : 35.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика Доп. точки доступа: Сукачева, Тамара Геннадьевна Сукачёва, Тамара Геннадьевна Экземпляры всего: 3 ОХФ-ЧЗ-4 (1), ОХФ (2) |
A496338-ОХФ Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press. N . 25. - 1991. - 149 p. - Bibliogr. - ISBN 83-233-0537-4 : 1000.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика Экземпляры всего: 1 ОХФ (1) |
A496339-ОХФ Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press. N . 26. - 1992. - 95 p. - Bibliogr. - ISBN 83-233-0630-3 : 1000.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика Экземпляры всего: 1 ОХФ (1) |
A496340-ОХФ Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press. N . 27. - 1993. - 94 p. - Bibliogr. - ISBN 83-233-0738-5 : 1000.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика Экземпляры всего: 1 ОХФ (1) |
A496618-ОХФ Fuzzy Logic [Текст] : научное издание. - Chichester a. o. : Wiley, 1996. - 256, [4] p. : fig. - Bibliogr. - ISBN 0-471-96281-3 : Б. ц.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- пограничные методы -- логические технологии -- управляющие системы -- пограничный контроль -- пограничная логика Экземпляры всего: 1 ОХФ (1) |
A197786-ОХФ Drake, Frank R. Intermediate Set Theory [Текст] : научное издание / Frank R. Drake, D. Singh. - Chichester a. o. : Wiley, 1996. - 234 p. - Biibliogr. - ISBN 0-471-96496-4 : 20.00 р.
Рубрики: математика--теория множеств Кл.слова (ненормированные): множеств теория -- промежуточных множеств теория -- математическая логика -- тригонометрические множества Доп. точки доступа: Singh, D. Экземпляры всего: 1 ОХФ (1) |
A496847-ОХФ Presic, Slavisa B. m-M Calculus [Текст] : научное издание / Slavisa B. Presic. - Beograd : Matematicki inst., 1996. - 84 p. - (Posebna izdanja ; knj. 18). - Bibliogr. - ISBN 86-80593-19-2 : 15.00 р.
Рубрики: математика--математическая логика--вычислительная математика Кл.слова (ненормированные): математическая логика -- алгебра -- численные методы -- системы уравнений -- исчисления Экземпляры всего: 1 ОХФ (1) |
A870288-ОХФ-СБО, A870571-ОХФ Нейронные сети и нейрокомпьютинг [Текст] : библиогр. указ. лит. - Ульяновск : Изд-во Ульян. техн. ун-та. Вып. 4. - 1999. - 98 с. - ISBN Б. и. : 20.00 р.
Рубрики: вычислительная техника--информационные технологии автоматика.кибернетика--системы автоматического управления Кл.слова (ненормированные): искусственный интеллект -- нейрокомпьютеры -- математическая логика -- распознавание образов -- экспертные системы -- искусственные нейронные сети -- интеллектуальные системы Экземпляры всего: 2 ОХФ-СБО (1), ОХФ (1) |
A870312-ОХФ, A872397-ОХФ Гамова, Алла Николаевна. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов и аспирантов мат. фак. ун-та / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 1999. - 76 с. : ил. - Библиогр. - ISBN 5-292-02362-0 : 15.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний Экземпляры всего: 2 ОХФ (2) |