Логика и компьютер [Текст] : монография. - М. : Наука, 1995. - 129 с. - (Кибернетика: неограниченные возможности и возможные ограничения). - Б. ц.
Кл.слова (ненормированные): Математическая логика -- Компьютер Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
В 75 Воротников, С. М. Введение в математическую логику [Текст] : учеб.пособие для электротехн.специальностей / С.М. Воротников; Гос.ком.Рос.Федерации по высш.образованию.Комсом.-на-Амуре гос.техн.ун-т. - Комсомольск-на-Амуре : [б. и.], 1996. - 128 с. - ISBN 5-230-21447-3 : Б. ц.
Кл.слова (ненормированные): Дискретные автоматы -- Математическая логика -- Учебник Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Карпов, Юрий Глебович. Теория автоматов [Текст] : учеб.для вузов / Ю.Г. Карпов. - СПб. : Питер, 2003. - 206 с. : ил. - (Учебник для вузов). - Библиогр.: с.204-206 (39 назв.) . - ISBN 5-318-00537-3 : 750 тг.
Кл.слова (ненормированные): Булевы функции -- Теорема Поста -- Математическая логика -- Автоматные языки -- Машины Тьюринга Экземпляры всего: 1 ХР (1) Свободны: ХР (1) |
Hilbert, А. Mathematik [Text] : монография / А. Hilbert. - Leipzig : Fachbuchverl, 1989. - 671 s. - ISBN 3-343-00248-8 : 30.00 р.
Кл.слова (ненормированные): математическая логика -- множества -- числа -- уравнения -- геометрия Экземпляры всего: 1 ИЛ (1) Свободны: ИЛ (1) |
Барский, Аркадий Бенционович. Логические нейронные сети [Текст] : учеб. пособие / А. Б. Барский. - М. : Интернет- ун-т информ.технологий ; М. : Бином. Лаборатория знаний, 2017. - 351 с. : ил. - (Основы информационных технологий). - Библиогр.: с. 350-351 (30 назв.). - ISBN 978-5-9556-0094-9. - ISBN 978-5-94774-646-4 : 2000 тг.
Дескрипторы: математическая логика -- трассировка -- логическое программирование -- модель мозга -- моделирование Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |