Разделы
Вход для студентов
Ваше имя (ник) пароль
Забыли пароль?

Регистрация
новых пользователей

ВитринаКнигиВсе книги

Введение в теорию программирования


Зыков С.В.

увеличить>>
Цена:   375.00 руб ($15.04)

Специальная цена:  
250.00 руб ($10.03) что это?

Обычно отгружается в течение 48 часов
Издательство: Интернет-университет информационных технологий - ИНТУИТ.ру
Серия: Основы информационных технологий
Год выпуска: 2004
Объем: 400 стр.
Формат: 60x90/16
Переплет: твердый
ISBN: 5-9556-0009-4
Желаете купить?
Нажмите

Лучше вместе
Дополнительные книги по программе "Программирование" РосНОУ
В комплект входят 10 книг, рекомендованных в качестве дополнительных учебников по учебной программе "Программирование" РосНОУ.

Цена со скидкой:   3 915.00 руб ($157.04)
Доставка по России бесплатно


Первая часть курса посвящена основам функционального подхода к программированию на основе метаязыка SML.NET. Курс будет полезен как для опытных программистов, так и для студентов, аспирантов и исследователей, специализирующихся в области компьютерных наук и информационных технологий.
Рекомендовано УМО в области прикладной информатики для студентов высших учебных заведений, обучающихся по специальности 351400 "Прикладная информатика".
Содержание:
"Часть 1
Лекция 0. Вступительная лекция
Лекция 1. Классификация языков программирования
Лекция 2. Концепция и возможности подхода .NET
Лекция 3. Функциональный подход к программированию
Лекция 4. Ламбда-исчисление как формализация языка функционального программирования
Лекция 5. Комбинаторная логика как формальная система
Лекция 6. Теория типов и комбинаторная логика
Лекция 7. Синтаксис языков программирования
Лекция 8. Семантика языков программирования
Лекция 9. Рекурсивные функции и множества
Лекция 10. Абстрактные машины и категориальная комбинаторная логика
Лекция 11. Категориальная абстрактная машина
Лекция 12. Оптимизация вычислений и абстрактные машины

Часть 2
Лекция 1. Классификация языков программирования
Лекция 2. Концепция и возможности подхода .NET
Лекция 3. Функциональный подход к программированию
Лекция 4. Ламбда-исчисление как формализация языка функционального программирования
Лекция 5. Комбинаторная логика как формальная система
Лекция 6. Теория типов и комбинаторная логика
Лекция 7. Синтаксис языков программирования
Лекция 8. Семантика языков программирования
Лекция 9. Рекурсивные функции и множества
Лекция 10. Абстрактные машины и категориальная комбинаторная логика
Лекция 11. Категориальная абстрактная машина
Лекция 12. Оптимизация вычислений и абстрактные машины
"



Ваше мнение
Внимание! Мнение будет опубликовано после одобрения администратором.

Заголовок:

Текст:

Внимание! Эта функция доступна только авторизованным пользователям.


Внимание! Если Вы увидите ошибку на нашем сайте, выделите её и нажмите Ctrl+Enter.

Нужна помощь?
Вы можете:
Интернет-магазин:
 
Хостинг предоставлен компанией РМ Телеком.
Сервер предоставлен компанией KRAFTWAY COMPUTERS.