Введение в теорию вычислительных процессов и структур (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 (дата обращения: 14.05.2024)

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

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

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