Введение в теорию вычислительных процессов и структур (190,00 руб.)

Первый автор	Кузьмин Е. В.
Авторы	Яросл. гос. ун-т
Издательство	ЯрГУ
Страниц	139

190,00р Предпросмотр

ID	200086
Аннотация	В пособии в рамках теории вычислительных процессов и структур рассматриваются два направления теоретической информатики (теоретического программирования): теория схем программ и теория семантики и верификации программ. В первом разделе излагаются основы теории (стандартных) схем программ, математических моделей, отражающих взаимодействие информационных и логических структур программы. Даются основные понятия теории, описываются её главные проблемы и результаты, ставшие классическими Во введении в теорию семантики и верификации программ основное внимание уделяется формальному доказательству корректности программ, написанных на языках высокого уровня. Рис. 13. Библиогр.: 11 назв.
Кем рекомендовано	Научно-методическим советом университета для студентов специальности Математическое обеспечение и администрирование информационных систем
Кому рекомендовано	Пособие предназначено для студентов старших курсов, обучающихся по специальности 010503 Математическое обеспечение и администрирование информационных систем (дисциплина «Теория вычислительных процессов и структур», блок ДС), очной формы обучения Может также быть использовано магистрантами и аспирантами, специализирующимся в области информатики и прикладной математики.
ISBN	978-5-8397-0437-7
УДК	519.71
ББК	В18я73

Кузьмин, Е. В. Введение в теорию вычислительных процессов и структур : учеб. пособие / Яросл. гос. ун-т; Е. В. Кузьмин .— Ярославль : ЯрГУ, 2006 .— 139 с. — ISBN 5-8397-0437-7 .— ISBN 978-5-8397-0437-7 .— URL: https://rucont.ru/efd/200086 (дата обращения: 08.04.2025)

Вы уже смотрели

Виртуализация настольных компьютеров с помощью VMware View 5

Виртуализация настольных компьютеров с п... 3000,00 руб

Известия высших учебных заведений. Серия... 190,00 руб

Определение показателей надежности радиоэлектронной аппаратуры

Определение показателей надежности радио... 1110,00 руб

Лазеры в микроэлектронике 160,00 руб

Вестник Тверского государственного униве...

Виртуализация отечественного образовательного пространства

Виртуализация отечественного образовател... 250,00 руб

Предпросмотр (выдержки из произведения)

В пособии в рамках теории вычислительных процессов и структур рассматриваются два направления теоретической информатики (теоретического программирования): теория схем программ и теория семантики и верификации программ. <...> В первом разделе излагаются основы теории (стандартных) схем программ, математических моделей, отражающих взаимодействие информационных и логических структур программы. <...> Даются основные понятия теории, описываются её главные проблемы и результаты, ставшие классическими Во введении в теорию семантики и верификации программ основное внимание уделяется формальному доказательству корректности программ, написанных на языках высокого уровня. <...>

Введение_в_теорию_вычислительных_процессов_и_структур_.pdf