Теория вычислений для программистов

Теория вычислений для программистов

Dades bibliogràfiques
Autor principal:	Стюарт Т.
Sumari:	Наконец-то появился увлекательный и практичный способ изучать теорию вычислений и проектирование языков программирования! В этой книге теоретическая информатика излагается в хорошо знакомом вам контексте, что поможет оценить, почему ее идеи важны и как они отражаются на том, чем программист изо дня в день занимается на работе. Вместо математической нотации или незнакомого академичного языка программирования типа Haskell или Lisp в этой книге для объяснения формальной семантики, теории автоматов и функционального программирования вкупе с лямбда-исчислением применяется язык Ruby, сведенный к минимуму. Издание предназначено для программистов любой квалификации, знакомых хотя бы с одним из современных языков, но не имеющих формальной подготовки в информатике. Книга из коллекции ДМК Пресс - Информатика
Publicat:	Москва, ДМК Пресс, 2014
Matèries:	вычисления вычислимость язык ruby языки программирования теория вычислений машины тьюринга семантика программ простейшие компьютеры
Accés en línia:	https://e.lanbook.com/book/90105 https://e.lanbook.com/img/cover/book/90105.jpg
Format:	Electrònic Llibre

Ítems similars

Теория вычислительных процессов и структур учебное пособие
per: Егоров Д. Л.
Publicat: (Казань, КНИТУ, 2018)

Программирование на языке Ruby
per: Фултон Х.
Publicat: (Москва, ДМК Пресс, 2009)

Теория алгоритмов учебник
per: Матрос Д. Ш. Дмитрий Шаевич
Publicat: (Москва, БИНОМ. Лаборатория знаний, 2008)

Теория алгоритмов и вычислений учебное пособие для вузов
per: Гашков С. Б.
Publicat: (Санкт-Петербург, Лань, 2023)

Параллельное программирование на основе технологий openmp, cuda, opencl, mpi учебник для вузов
per: Малявко А. А. Александр Антонович
Publicat: (Москва, Юрайт, 2025)

Параллельное программирование на основе технологий openmp, cuda, opencl, mpi учебное пособие для вузов
per: Малявко А. А. Александр Антонович
Publicat: (Москва, Юрайт, 2023)

Параллельное программирование на основе технологий openmp, cuda, opencl, mpi учебное пособие для вузов
per: Малявко А. А. Александр Антонович
Publicat: (Москва, Юрайт, 2022)

Параллельное программирование на основе технологий openmp, cuda, opencl, mpi учебное пособие для вузов
per: Малявко А. А. Александр Антонович
Publicat: (Москва, Юрайт, 2021)

Параллельное программирование на основе технологий openmp, cuda, opencl, mpi учебное пособие для вузов
per: Малявко А. А. Александр Антонович
Publicat: (Москва, Юрайт, 2024)

Основы техники вычислений учебник
per: Колесникова М. В. Маргарита Владимировна
Publicat: (Москва, Недра, 1981)

Язык программирования Ruby пер. с англ.
per: Флэнаган Д. Дэвид
Publicat: (СПб., Питер, 2011)

Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций сборник переводов
Publicat: (Москва, Мир, 1970)

Дискретная математика для инженера
per: Кузнецов О. П.
Publicat: (Санкт-Петербург, Лань, 2022)

Введение в теорию автоматов, языков и вычислений пер. с англ.
per: Хопкрофт Дж. Джон
Publicat: (Москва, Вильямс, 2002)

Практикум по теории алгоритмов учебное пособие для вузов
per: Тихомирова А. Н.
Publicat: (Москва, НИЯУ МИФИ, 2011)

Регулярные выражения пер. с англ.
per: Фридл Дж. Джеффри
Publicat: (Санкт-Петербург, Питер, 2003)

Системы аналитических вычислений на ЭВМ. Аналитические пакеты прикладных программ
Publicat: (Москва, [Б. и.], 1983)

Основы финансовых вычислений учебник для вузов
per: Мардас А. Н. Анатолий Николаевич
Publicat: (Москва, Юрайт, 2025)

Основы финансовых вычислений учебное пособие для вузов
per: Мардас А. Н. Анатолий Николаевич
Publicat: (Москва, Юрайт, 2023)

Основы финансовых вычислений учебное пособие для вузов
per: Мардас А. Н. Анатолий Николаевич
Publicat: (Москва, Юрайт, 2021)

Основы финансовых вычислений учебное пособие для вузов
per: Мардас А. Н. Анатолий Николаевич
Publicat: (Москва, Юрайт, 2024)

Основы финансовых вычислений учебное пособие для вузов
per: Мардас А. Н. Анатолий Николаевич
Publicat: (Москва, Юрайт, 2022)

Теория алгоритмов в задачах информационной безопасности: Конспект лекций учебное пособие
per: Епишкина А. В.
Publicat: (Москва, НИЯУ МИФИ, 2022)

Параллельные вычислительные структуры на основе разрядных методов вычислений
per: Евдокимов В. Ф. Виктор Федорович
Publicat: (Киев, Наукова думка, 1987)

Программирование на языке паскаль
per: Семашко Г. Л. Галина Львовна
Publicat: (Москва, Наука, 1988)

Новый ум короля. О компьютерах, мышлении и законах физики пер. с англ.
per: Пенроуз Р. Роджер
Publicat: (Москва, УРСС, 2003)

Новый ум короля. О компьютерах, мышлении и законах физики пер. с англ.
per: Пенроуз Р. Роджер
Publicat: (Москва, УРСС, 2005)

ЭВМ новых поколений и перспективы их использования в народном хозяйстве материалы семинара
Publicat: (Москва, Изд-во МДНТП, 1989)

Бейсик для персонального компьютера фирмы IBM пер. с англ.
per: Радер Дж. Джесси
Publicat: (Москва, Радио и связь, 1991)

Квантовая информатика. Информационно-измерительные и управляющие системы учебник для вузов
per: Тырышкин С. Ю. Сергей Юрьевич
Publicat: (Москва, Юрайт, 2025)

Инструментальные средства языков программирования для решения задач математического моделирования учебное пособие
per: Масина О. Н.
Publicat: (Елец, ЕГУ им. И.А. Бунина, 2024)

Методы и средства вычислений с объектами. Аппликативные вычислительные системы
per: Вольфенгаген В. Э. Вячеслав Эрнстович
Publicat: (Москва, JurInfoR Lrd, 2004)

Вычислимое и невычислимое
per: Манин Ю. И. Юрий Иванович
Publicat: (Москва, Сов. радио, 1980)

Введение в квантовые компьютеры пер. с англ.
Publicat: (Москва, Институт компьютерных исследований, 2004)

Графы и алгоритмы. Структуры данных. Модели вычислений учебник
per: Алексеев В. Е. Владимир Евгеньевич
Publicat: (Москва, БИНОМ. Лаборатория знаний, 2012)

Современная прикладная алгебра учебное пособие пер. с англ.
per: Биркгоф Г. Гаррет
Publicat: (СПб. [и др.], Лань, 2005)

Кн. 1. Ч. I-II
Publicat: (2008)

Crafting a Compiler with C
per: Fischer C. N. Charles N.
Publicat: (New York, The Benjamin/Cummings Publishing Company, 1991)

ДНК-компьтер. Новая парадигма вычислений пер. с англ.
per: Паун Г. Георг
Publicat: (Москва, Мир, 2004)

Математическая логика пер. с англ.
per: Клини С. К. Стивен Коул
Publicat: (Москва, Едиториал УРСС, 2005)