Г95 Гуров, В. В. Основы теории и организации ЭВМ: Учеб. пособие [Текст] / В. В. Гуров. - М. : Интернет-Университет Информационных технологий: БИНОМ. Лаборатория знаний, 2006. - 272 с. : ил. - (Основы информационных технологий). - 220.00 р.
Кл.слова (ненормированные): Электроника -- логическое программирование -- логические средства -- логические системы -- коды -- кодирование -- Математика -- арифметико-логические устройства -- архитектура эвм и системное программное обеспечение -- архитектура компьютера -- арифметические устройства -- управление Экземпляры всего: 5 2к (5) Свободны: 2к (5) |
Л13 Лавров, И. А. Математическая логика: Учеб. пособие для студ. вузов, обуч. по технич. и естест.-нучн. специальностям [Текст] / И.А. Лавров; Под ред. Л.Л. Максимовой. - М. : Академия, 2006. - 240 с. - (Университетский учебник). - 212.00 р.
Кл.слова (ненормированные): Математика -- математическая логика -- числа -- натуральные числа -- действительные числа -- семантика -- алгебраические системы -- логические системы -- синтаксис -- построение логических исчислений -- логические исчисления -- исчисление высказываний -- исчисление предикатов -- исчисление функций -- связь семантики и синтаксиса -- интерпретации -- классические аксиоматические теории -- аксиоматика -- теория множеств -- числовые теории Экземпляры всего: 1 6к (1) Свободны: 6к (1) |