Программирование. Математическая логика. Учебное пособие для вузов

Автор(ы)

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

Язык

Русский

Издатель

Юрайт

Год выхода

2020

Оформление

Мягкая обложка

Количество страниц

676

ISBN

978-5-534-11009-8

Цена:

63.00 € 57.27 € без НДС

Отправка: 2-4 недели после оформления заказа

В корзину

Описание
Транслит

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу "Математическая логика и теория алгоритмов", содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования. В пособие включено значительное количество задач и упражнений для самостоятельного решения. Соответствует актуальным требованиям Федерального государственного образовательного стандарта высшего образования. Книга предназначена для преподавателей, аспирантов и студентов педагогических вузов для направлений, связанных с информационными технологиями.

Uchebnoe posobie predstavljaet soboj sistemu uprazhnenij i laboratornykh rabot po kursu "Matematicheskaja logika i teorija algoritmov", soderzhaschikh teoreticheskie svedenija po obschej teorii ischislenij, ischislenijam matematicheskoj logiki, elementam intuitsionistskoj logiki, aksiomaticheskoj semantike jazykov imperativnogo programmirovanija. V posobie vkljucheno znachitelnoe kolichestvo zadach i uprazhnenij dlja samostojatelnogo reshenija. Sootvetstvuet aktualnym trebovanijam Federalnogo gosudarstvennogo obrazovatelnogo standarta vysshego obrazovanija. Kniga prednaznachena dlja prepodavatelej, aspirantov i studentov pedagogicheskikh vuzov dlja napravlenij, svjazannykh s informatsionnymi tekhnologijami.

Категория

Учебные пособия для вузов и колледжей

Серия

Высшее образование

EAN

9785534110098

Похожие товары