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

Il est possible de préparer votre système d'exploitation et votre travail de travail à l'aide du cours «Logique mathématique et théorie des algorithmes», содержащих теоретические сведения по общей теории исчислений, исчислениям математической LOGики, элементам интуиционистской logiques, аксиоматической сеmanтике языков императивного программирования. Il est possible de prendre en charge et d'effectuer des réparations appropriées. Le gouvernement fédéral respecte les normes actuelles en vigueur. Книга предназначена для преподавателей, аспирантов and студентов педагогических вузов направлений, связанных с информационными téchnologiames.

#ASTTD# Termes de recherche : Швецкий М. В., Демидов М. В., Голанова А. В., Кудрявцева И. A. , Shveckii MV, Demidov MV, Golanova AV, Kydryavceva IA , Юрайт , Urait , Высшее образование , Visshee obrazovanie , 9785534110098 , 978-5-534-11009-8 , 1623680