Б88 Брой, М. Информатика. Основополагающее введение [Текст] : в 4 частях : перевод с немецкого / М. Брой. - М. : Диалог-МИФИ, 1996 - . Ч. 2 : Вычислительные структуры и машинно-ориентированное программирование. - 1998. - 224 с. - 27.00 р., 18.00 р. Кл.слова (ненормированные): Науковедение -- булевы алгебры -- коды -- теория кодирования -- программирование -- кодирование -- структура ЭВМ -- машинно-ориентированные языки -- теория информации -- машинно-ориентированное программирование -- информатика -- Электроника -- вычисления Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
К17 Калбертсон, Дж. Т. Математика и логика цифровых устройств [Text] / Дж. Т. Калбертсон; пер. с англ. Г. А. Шестопал; под ред. И. М. Яглома. - М. : Просвещение, 1965. - 267 с. : черт. - 0.60 р. Перевод заглавия: Mathematics and logic for digital devices
Кл.слова (ненормированные): Математика -- решето Эратосфена -- силлогизмы -- сориты -- булева алгебра высказываний -- булева алгебра множеств -- схемы -- булевы алгебры -- множества -- симметрия -- логика -- системы счисления -- системы автоматического регулирования -- вероятность -- размещения -- алгоритмы Доп.точки доступа: Шестопал, А. Г. \пер.\; Яглом, И. М. \ред.\ Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
К60 Колмогоров, А. Н. Введение в математическую логику [Текст] : Учеб. пособие для студентов мат. спец. вузов / А. Н. Колмогоров. - М. : Изд-во МГУ, 1982. - 120 с. - 0.25 р.
Кл.слова (ненормированные): Математика -- учебное пособие для вузов -- математическая логика -- теория множеств -- булевы алгебры -- семантика языка -- логические законы -- формальные аксиоматические теории Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
К64 Кон, П. Универсальная алгебра [Текст] / П. Кон; Пер. с англ. Т.М. Баранович; Под ред. А.Г. Куроша. - М. : Мир, 1968. - 351 с. - 1.78 р.
Кл.слова (ненормированные): Математика -- аксиоматизируемые классы -- булевы алгебры -- многообразия -- свободные алгебры -- алгебра -- отображения -- множества -- универсальные алгебры Доп.точки доступа: Баранович, Т.М. \пер.\; Курош, А.Г. \ред.\ Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
М63 Миркин, Б. Г. Анализ качественных признаков и структур [Текст] / Б. Г. Миркин. - М. : Статистика, 1980. - 319 с. : ил. - 2.60 р.
Кл.слова (ненормированные): Математика -- математическая статистика -- преобразования -- матрицы -- линейная алгебра -- векторные пространства -- булевы алгебры -- эквивалентность -- алгоритмы Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
М71 Мишина, А. П. Высшая алгебра. Линейная алгебра, многочлены, общая алгебра [Текст] / А.П. Мишина, И.В. Проскуряков; Под ред. П.К. Рашевского. - 2-е изд., испр. - М. : Наука, 1965. - 300 с. : черт. - (Справочная математическая библиотека). - 0.95 р.
Кл.слова (ненормированные): Математика -- дистрибутивные структуры -- булевы алгебры -- гомоморфизмы -- абелевы группы -- изоморфизмы -- поля -- кольца -- группы -- формулы Лагранжа -- интерполяционные формулы -- билинейные формы -- эквивалентность -- квадратичные формы -- матрицы -- метод Гаусса -- линейные уравнения -- определители -- общая алгебра -- многочлены Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
Б64 Биркгоф, Г. Современная прикладная алгебра [Текст] / Г. Биркгоф, Т. Барти; Пер. с англ. Ю.И. Манина. - 2-е изд., стер. - СПб. : Лань, 2005. - 400 с. - (Учебники для вузов. Специальная литература). - 335.00 р.
Кл.слова (ненормированные): Математика -- языки программирования -- конечные автоматы -- бинарные отношения -- множества -- булевы алгебры -- вычислительные машины -- оптимизация -- алгебра -- моноиды -- двоичные коды Экземпляры всего: 15 2к (15) Свободны: 2к (15) |
В57 Владимиров, Д. А. Булевы алгебры [Текст] / Д. А. Владимиров. - М. : Наука, 1969. - 318 с. : с черт. - 1.16 р.
Кл.слова (ненормированные): Математика -- алгебра -- алгебра логики -- булевы алгебры Экземпляры всего: 4 2к (4) Свободны: 2к (4) |
С35 Сикорский, Р. Булевы алгебры: Пер. с англ. [Текст] / Р. Сикорский. - М. : Мир, 1969. - 375 с. - 1.44 р.
Кл.слова (ненормированные): Математика -- высшая алгебра -- булевы алгебры Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
К60 Колмогоров, А. Н. Математическая логика: Учеб. пособие для студ. математ. спец. вузов [Текст] / А.Н. Колмогоров, А.Г. Драгалин; МГУ им. М.В. Ломоносова. - 3-е изд., стер. - М. : КомКнига, 2006. - 240 с. - (Классический университетский учебник). - 195.00 р., 194.00 р.
Кл.слова (ненормированные): Математика -- формальные аксиоматические теории -- логические законы -- семантика языка -- булевы алгебры -- теория множеств -- математическая логика -- теорема Геделя -- логика высказываний -- логика предикатов -- основания математики -- теория доказательств -- теория алгорифмов -- предикаты -- дедукция Экземпляры всего: 11 2к (10), 6к (1) Свободны: 2к (10), 6к (1) |
М34 Матрос, Д. Ш. Элементы абстрактной и компьютерной алгебры: Учеб. пособие для студ. вузов, обуч. по спец. 050202 (030100) "Информатика" [Текст] / Д. Ш. Матрос. - М. : Академия, 2004. - 240 с. - (Высшее профессиональное образование). - 164.00 р.
Кл.слова (ненормированные): Математика -- алгебры -- компьютерная алгебра -- числовые системы -- множества -- бинарные отношения -- булевы алгебры -- кольца (матем.) -- целые числа -- полиномы -- переменные -- интегрирование -- кодирование Экземпляры всего: 3 2к (3) Свободны: 2к (3) |
И20 Иванов, Б. Н. Дискретная математика. Алгоритмы и программы. Расширенный курс: учеб. пособие для студ. вузов, обуч. по спец. "Приклад. математика и информатика" [Текст] / Б. Н. Иванов. - М. : Известия, 2011. - 512 с. - 670.00 р.
Кл.слова (ненормированные): Гриф -- Математика -- дискретная математика -- учебное пособие для вузов -- прикладная математика -- информатика -- математическая логика -- системы счисления -- булевы алгебры -- булевы функции -- алгебра Буля -- минимизация -- функциональная полнота -- алгебра Жегалкина -- теоремы Поста -- исчисление высказываний -- метод резолюций -- правило резолюции -- исчисление предикатов -- предикаты Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
С 21 Сафронов, И. К. Готовимся к ЕГЭ. Информатика [Текст] / И.К. Сафронов. - СПб. : БВХ -Петребург, 2007. - 256 с. : ил. - ISBN 978-5-94157-966-2 : 111.00 р. Кл.слова (ненормированные): ПОДГОТОВКА К ЕГЭ -- ЭКЗАМЕН ПО ИНФОРМАТИКЕ -- КОДИРОВАНИЕ ИНФОРМАЦИИ -- ИЗМЕРЕНИЕ ИНФОРМАЦИИ -- СИСТЕМЫ СЧИСЛЕНИЯ -- БУЛЕВЫ АЛГЕБРЫ -- КОМБИНАТОРИКА -- ФАЙЛОВЫЕ СИСТЕМЫ -- ЛОГИЧЕСКАЯ АЛГЕБРА -- ЗАДАЧИ С ИСПОЛНИТЕЛЯМИ -- ЛОГИЧЕСКИЕ ЗАДАЧИ -- ОБЪЕМ ИНФОРМАЦИИ -- КОМБИНАТОРИКА -- ФАЙЛОВАЯ СТРУКТУРА В ИНТЕРНЕТЕ Аннотация: В пособии рассматриваются варианты ЕГЭ по информатике за последние два учебных года (2005/2006, 2006/2007) с подробным разбором всех заданий. Для самостоятельной работы предлагаются задания, подобные официальным, и приводятся их решения. Даны требования к знаниям выпускника по информатике и краткие теоретические пояснения к основным разделам учебного курса. Большое внимание уделено алгебре логики, системам счисления, единицам измерения информации, организации информации, алгоритмизации. Экземпляры всего: 1 2к (1) Свободны: 2к (1) |