Издательство: (812) 336-25-09
Интернет-магазин: (812) 412-54-93
Поиск по дисциплине

Теория алгоритмов - все книги по дисциплине. Издательство Лань

Сохранить список:
Excel Excel
PDF PDF

В книге изложены начала теории вычислительных устройств. Главным понятием, в терминах которого ведётся изложение, является понятие абстрактного вычислительного устройства, АВУ. Это понятие позволяет создать единообразно последовательность генетически связанных устройств. На основе этих устройств может быть создана сетевая структура устройств, охватывающая все возможные устройства, как существующие, так и те, которым ещё предстоит появиться. В книге описана возможность выхода за пределы реально проводимых вычислений. Несмотря на их запредельность, эти вычисления могут быть истолкованы в понятных нам терминах. В качестве одной из таких возможностей приведена возможность ведения вычислений с бесконечностями. Устройства ведут вычисления в произвольной системе счисления. Реальные устройства, которые могут быть созданы на основе АВУ, обладают набором оптимальных характеристик, как то: максимальная однородность элементной базы, максимальное быстродейстие, минимальное тепловыделение, максимальная надежность и др. Материал книги был использован для создания курса «Теория вычислительных устройств».

Книга адресована студентам вузов, обучающимся по направлениям подготовки, входящим в УГСН: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Физико-технические науки и технологии», «Технологии материалов», а также другим направлениям и специальностям, имеющим отношение к теории компьютеров. Пособие может быть полезно преподавателям вузов при чтении курсов: «Теория вычислительных устройств», «Теория автоматов», «Теория алгоритмов», «Информатика», «Теория управления», «Кибернетика», «Дискретная математика», «Вычислительная математика».

Год издания: 2019
Авторы: Деев Г.Е.
Печатное издание
1 900 ₽
Электронная версия
1 140 ₽

Учебное пособие начинается с рассмотрения отношений между логикой, математикой, математической логикой и реальным миром. Кратко излагается история математической логики. К традиционным разделам предмета относятся: основы теории множеств, пропозициональная логика и язык предикатов, аксиоматические теории и теория вычислимости. Значительное место занимают изложение ламбда-исчисления и рассмотрение различных видов математических доказательств. Приводятся доказательства теорем Гёделя о полноте. Пособие содержит задачи, для некоторых из них приведены решения.

Для студентов вузов, обучающихся направлениям подготовки и специальностям, входящим в УГС: «Математика и механика», «Компьютерные и информационные науки», «Информатика и вычислительная техника», «Информационная безопасность», «Управление в технических системах». Книга также будет полезна для преподавателей математики и компьютерных наук высших учебных заведений.

Год издания: 2018
Авторы: Зюзьков В.М.
Печатное издание
1 310 ₽
Электронная версия
785 ₽
Закрыть
Товар в корзине
Вы можете продолжить покупки или перейти к оформлению заказа.