Книги: Введение в теорию программирования
Зыков С. В.
Книга | 13 января 2004 | Переплет: твердый | Формат: 60x90/16
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов.
Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.
Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.
Тема: Программирование
Вам нравится? Нравится 2 студентам
Электронные книги
2 апреля 2010
Электронная книга (txt - 211.3 Кб, fb2 - 296.9 Кб, pdf - 15.5 Мб, html - 231.1 Кб)
Курс основан на творческом синтезе избранных формальных теорий (ламбда-исчисление, комбинаторная логика, теория категорий и др.) и уникальной технологической платформы Microsoft.NET, обеспечивающей практически прозрачную интеграцию кода на языках…
Тема: Программирование
Цена: 100.00 руб. | Товар недоступен |
|
Учебный курс
Уровень: для всех | Доступ: свободно | ВУЗ: Национальный исследовательский ядерный университет «МИФИ» | Студентов: 6061 / 404 | Оценка выпускников: 4.16 / 3.86
Курс является вводным в объектно-ориентированное программирование и теоретический фундамент программирования. Курс лекций охватывает основные разделы программирования в приложении к…