Кэрролл, Льюис Логическая игра [Текст] / Льюис Кэрролл. - М. : Наука.Гл.ред.физ.-мат.лит., 1991. - 189,/3/ с. : ил. - (Б-чка "Квант";Вып.73). - Библиогр.:с.188-190. - ISBN 5-02-014220-4 : Б. ц.
Кл.слова (ненормированные): Математическая логика Держатели документа: Республиканская научно-техническая библиотека Казахстана Свободных экз. нет |
Лавров, Игорь Андреевич Задачи по теории множеств,математической логике и теории алгоритмов [Текст] / Игорь Андреевич Лавров, Лариса Львовна Максимова. - М. : Физматлит, 1995. - 255,/1/ с. - Библиогр.:с.248-249(43 назв.). - ISBN 5-02-014844-X : Б. ц. Предм.указ.:с.250-255.
Кл.слова (ненормированные): Множеств теория -- Математическая логика Держатели документа: Республиканская научно-техническая библиотека Казахстана Доп.точки доступа: Максимова, Лариса Львовна Свободных экз. нет |
Логика и компьютер [Текст]. - М. : Наука, 1995. - (Кибернетика-неограниченные возможности и возможные ограничения). - Б. ц.
Кл.слова (ненормированные): Математическая логика -- Компьютер Держатели документа: Республиканская научно-техническая библиотека Казахстана Свободных экз. нет |
Воротников, С. М. Введение в математическую логику [Текст] : учеб.пособие для электротехн.специальностей / С.М. Воротников; Гос.ком.Рос.Федерации по высш.образованию.Комсом.-на-Амуре гос.техн.ун-т. - Комсомольск-на-Амуре : [б. и.], 1996. - 128 с. - ISBN 5-230-21447-3 : Б. ц.
Кл.слова (ненормированные): Дискретные автоматы -- Математическая логика -- Учебник Держатели документа: Республиканская научно-техническая библиотека Казахстана Свободных экз. нет |
Иванов, Е. А. Логика [Текст] : учеб. / Е.А.Иванов. - М. : Изд-во БЕК, 1996. - 309 с. - ISBN 5-85639-137-3 : 960-00 тг.
Кл.слова (ненормированные): математическая логика -- диалектическая логика Держатели документа: Жамбылский филиал РНТБ Казахстана Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
К28 Касаткин, В. Н. Информация алгоритмы ЭВМ:пос.для учителя [Текст] : учеб. пособие / В.Н.Касаткин. - М. : Просвещение, 1991. - 192 с. : ил. - ISBN 5-09-003398-6 : 2-10 тг.
Вычислительная техника Кл.слова (ненормированные): арифметика -- математическая логика -- программирование -- Тьюринг Держатели документа: Актюбинский филиал РНТБ Казахстана Экземпляры всего: 1 03-ЧЗ (1) Свободны: 03-ЧЗ (1) |
Карпов, Юрий Глебович. Теория автоматов [Текст] : учеб.для вузов / Ю.Г. Карпов. - СПб. : Питер, 2003. - 206 с. : ил. - (Учеб.для вузов). - Библиогр.: с.204-206 (39 назв.) . - ISBN 5-318-00537-3 : 750 тг.
Кл.слова (ненормированные): Булевы функции -- Теорема Поста -- Математическая логика -- Автоматные языки -- Машины Тьюринга Держатели документа: Республиканская научно-техническая библиотека Казахстана Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Шрайберг, Я. Л. Справочное руководство по основам информатики и вычислительной техники [Текст] : справочное издание / Я.Л. Шрайберг, М.В.Гончаров. - М. : Финансы и статистика, 1990. - 32 с. - Библиогр.:с.32(20 назв.). - ISBN 5-279-00476-6 : 10-00 тг.
Вычислительная техника--справочники Кл.слова (ненормированные): алгоритмизация -- программирование -- диалоговые языки -- математическая логика -- операционные системы -- компьютеры Держатели документа: Карагандинский филиал РНТБ Казахстана Доп.точки доступа: Гончаров, М.В. Экземпляры всего: 1 08-ХР (1) Свободны: 08-ХР (1) |
А610 Аматова, Галина Михайловна Математика: в 2-х кн. [Текст] / Г. М. Аматова, М. А. Аматов. Кн.1. - М. : Изд.центр "Академия", 2008. - 256 с. - ISBN 978-5-7695-4001-1 : 1825.00 тг.
Кл.слова (ненормированные): Множества -- Математическая логика -- Соответствия -- Алгебраические операции -- Системы счисления -- Делимость Держатели документа: Западно-Казахстанский филиал РНТБ Казахстана : 090001, г. Уральск, пр. Евразия, 105 Доп.точки доступа: Аматов, Михаил Александрович Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |