VIPBOOK.SU
ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Смальян Р. - Теория формальных систем

Наука и познание >> Математика





Разместил: Почемучка

2-12-2017, 13:44

Просмотров: 139





Смальян Р. - Теория формальных систем

В этой книге в систематической форме и, фактически, начиная с «азов», излагается обширный комплекс математических результатов, касающихся ряда фундаментальных понятий, предназначенных для точного описания и исследования формально-дедуктивного метода в математике и тесно связанного с этим методом понятия алгорифма.

Название: Теория формальных систем
Автор: Смальян Р.
Издательство: М.: Наука
Год: 1981
Формат: PDF
Страниц: 209
Размер: 25.6 MB
Язык: Русский


Скачать Смальян Р. - Теория формальных систем [1981, PDF]









Похожие публикации

Теория сетей Петри и моделирование систем Теория сетей Петри и моделирование систем
В книге американского ученого изложены основные понятия и результаты теории сетей Петри, касающиеся различных аспектов вычислительной техники и особенно систем распределенной обработки информации. Для научных работников, аспирантов и студентов

Теория оптических систем Теория оптических систем
Рассмотрены основные понятия и законы геометрической оптики, необходимые для обоснования действия оптических систем. Описаны конструкции оптических деталей и узлов, входящих в состав этих систем. Изложена теория основных видов оптических систем

Теория автоматического управления Теория автоматического управления
Изложены основы теории управления, включающие общие сведения о системах управления и их моделях, методы анализа и синтеза линейных непрерывных и дискретных систем при детерминированных и стохастических воздействиях, методы анализа нелинейных систем,

Математическая логика и теория алгоритмов для программистов Математическая логика и теория алгоритмов для программистов
Математическая логика и теория алгоритмов для программистов — Пособие позволяет освоить основные положения и математические методы решения задач, представления знаний и построения доказательств в формальных системах, построения описания алгоритмов с

Теория и технология программирования. Основы построения трансляторов Теория и технология программирования. Основы построения трансляторов
Рассмотрены формальные модели грамматик и языков, грамматики Хомского, методы синтаксического анализа формальных языков и приемы генерации кода в современных компиляторах. Особое внимание уделено постановке базовых проблем теории формальных языков,

Базаров И.П. - Термодинамика и статистическая физика. Теория равновесных систем Базаров И.П. - Термодинамика и статистическая физика. Теория равновесных систем
Систематически излагается термодинамика и статистическая теория многочастичных равновесных систем. В основу статистической физики равновесных идеальных и неидеальных систем положены метод Гиббса и метод функций распределения Боголюбова. Излагается

Анхимюк В.Л. - Теория автоматического управления Анхимюк В.Л. - Теория автоматического управления
Основные понятия и определения. Математический аппарат исследования систем автоматического управления. Динамические звенья и структурные схемы систем автоматического управления. Статические характеристики систем автоматического управления.

Астапов Ю.М. - Статистическая теория систем автоматического регулирования и управления Астапов Ю.М. - Статистическая теория систем автоматического регулирования и управления
Учебное пособие соответствует программе курса теории автоматических систем, подверженных случайным воздействиям, а также части курса проектирования систем на основе современных методов оптимизации. Оно представляет собой часть общего курса теории

Формальные грамматики и языки Формальные грамматики и языки
Название: Формальные грамматики и языки Автор: Гладкий А.В. Издательство: Наука Год издания: 1973 Страниц: 368 Язык: русский Формат: djvu Качество: хорошее Для сайта: vipbook.su Размер: 2.85 Мб Книга посвящена теории формальных грамматик и

А.И. Белоусов, СБ. Ткачев-Дискретная математика А.И. Белоусов, СБ. Ткачев-Дискретная математика
В девятнадцатом выпуске серии "Математика в техническом университете" изложены теория множеств и отношений, элементы современной абстрактной алгебры, теория графов, классические понятия теории булевых функций, а также основы теории формальных




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги