В учебном пособии представлены основные разделы программирования в приложении к объектно-ориентированным языкам программирования (теория вычислений, представление синтаксиса и семантики выражений, теория типов и др.). Базовые аспекты профессионального программирования излагаются в сравнении языков «нового поколения» C# и SML на единой платформе Microsoft .NET, что дает возможность более глубоко проникнуть в суть процесса создания программных систем. Учебное пособие будет полезно для студентов, обучающихся по укрупненным группам специальностей среднего профессионального образования 09.00.00 «Информатика и вычислительная техника» и 10.00.00 «Информационная безопасность», при изучении дисциплин «Программирование» и «Основы алгоритмизации и программирования».