М.В. Швецкий

ПРОГРАММИРОВАНИЕ: МАТЕМАТИЧЕСКАЯ ЛОГИКА 2-е изд., пер. и доп. Учебное пособие для СПО

М.В. Швецкий М.В. Демидов А.В. Голанова И.А. Кудрявцева

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической...

ПРОГРАММИРОВАНИЕ: МАТЕМАТИЧЕСКАЯ ЛОГИКА 2-е изд., пер. и доп. Учебное пособие для вузов

И.А. Кудрявцева М.В. Швецкий М.В. Демидов А.В. Голанова

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической...