Программирование. Теория типов — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP,TSP,TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Разместите ссылку на эту страницу в социальных сетях. Так о ней узнают тысячи человек:
Facebook
Twitter
Мой мир
Вконтакте
Одноклассники
Нашли ошибку? Сообщите администрации сайта: Выберите один из разделов меню и, если необходимо, напишите комментарий
За ложную информацию бан на месяц
Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:
Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
Программирование. Комбинаторная логика — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Hask ...
Программирование. Математическая логика — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императ ...
Данное учебное пособие предназначено студентам вузов, для которых математика не является основной специальностью. Автор стремился при сравнительно небольшом объеме книги дать достаточно полное изложение основных фактов теории функций комплексного переменного и операционного исчисления, чтобы подготовить читателя к изучению разнообразных применений.
Учебное пособие содержит справочные сведения и примеры решения задач основных типов по разделам «Линейные и евклидовы пространства» и «Конечномерные линейные операторы в линейных и евклидовых пространствах» курсов «Линейная алгебра», «Алгебра», «Геометрия и алгебра» для вузов. Приведено значительное количество задач и упражнений для самостоятельног ...
Учебное пособие создано в соответствии с требованиями Федерального Государственного образовательного стандарта (ФГОС) высшего профессионального образования и Федерального государственного стандарта (ФГОС 3+) высшего профессионального образования по специальности 370301 – «Психология».
Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц. Если это не так - свяжитесь с администрацией сайта. Материал будет немедленно удален. Электронная версия этой публикации предоставляется только в ознакомительных целях. Для дальнейшего её использования Вам необходимо будет приобрести бумажный (электронный, аудио) вариант у правообладателей.