Данная книжка является вторым пересмотренным и дополненным изданием и представляет собой учебное пособие по применению комбинаторной логики при написании разнообразных программ. Автор Михаил Владимирович Швецкой выполняет в ней научную работу, где излагает определения и элементы комбинаторной логики, т.е. основные ее особенности и методы с практической точки зрения. Учебник имеет своей целью: изложение основных конструкций комбинаторной логики на её элементарном уровне с помощью
Если вы читаете эту книгу, то вам незнакома описываемая в ней дисциплина. Но мы подскажем, что это книга по основам кибернетики от И.Швецкого. Она научит вас основам проектирования сложных систем: от простого цифрового устройства до промышленного компьютера. Это серьезное практическое руководство по обеспечению высокого уровня качества и надежности гичических систем. Эта книга подойдёт школьникам старших классов, которые собираются продолжить обучение в вузе.
Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. Книга представляет собой репринтное издание. Несмотря на то, что была проведена серьезная работа по восстановлению первоначального качества издания, на некоторых страницах могут обнаружиться небольшие "огрехи": помарки, кляксы и т.п.
Электронная Книга «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов» написана автором Михаил Владимирович Швецкий в 2021 году.
Минимальный возраст читателя: 0
Язык: Русский
Серии: Высшее образование
ISBN: 9785534106206
Описание книги от Михаил Владимирович Швецкий
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий.
