Написать рефераты, курсовые и дипломы самостоятельно. Антиплагиат.
Студенточка.ru: на главную страницу. Написать самостоятельно рефераты, курсовые, дипломы в кратчайшие сроки
Рефераты, курсовые, дипломные работы студентов: научиться писать самостоятельно.
Контакты Образцы работ Бесплатные материалы
Консультации Специальности Банк рефератов
Карта сайта Статьи Подбор литературы
Научим писать рефераты, курсовые и дипломы.


подбор литературы периодические источники литература по предмету

Основания языков программирования


Похожие книги   Готовые работы

Год выпуска: 2010
Автор: Дж. Митчелл
Издательство: НИЦ "Регулярная и хаотическая динамика"
Страниц: 720
ISBN: 978-5-93972-757-0
Описание
 Книга "Основы языков программирования" написана для студентов старших курсов и аспирантов. В ней используется серия типизированных лямбда-исчислений для изучения аксиоматической, операциональной и денотационной семантики последовательностных языков программирования. По ходу книги происходит постепенное достраивание лямбда-исчисления всё более сложными системами типов. Отличительной чертой данной книги по сравнению с другими работами по данной теме является то, что в ней содержится материал по универсальной алгебре и алгебраическим типам данных, императивным языкам и Флойд-хоаровской логике, а в последних главах рассматриваются полиморфные типы, модули, подтипы и объектно-ориентированные понятия, а также вывод типов. Книга предназначена прежде всего для изучающих математику, но благодаря включению соответствующих вопросов и примеров материал книги доступен и студентам, специализирующимся по системам программного обеспечения, теории вычислительных систем или математической...

Похожие книги

  1. И.П. Калошина. Психология творческой деятельности. – М.: Юнити-Дана, 2008. – 672 с.
  2. В.В. Фаронов. Turbo Pascal. – СПб.: Питер, 2010. – 368 с.
  3. Дж. Митчелл. Основания языков программирования. – М.: НИЦ "Регулярная и хаотическая динамика", 2010. – 720 с.
  4. С.В. Зыков. Основы современного программирования. – М.: Горячая Линия - Телеком, 2006. – 448 с.
  5. Паоло Франка. C++. Учебный курс. – СПб.: Питер, 2012. – 496 с.
  6. С.Лавров. Программирование. Математические основы, средства, теория. – СПб.: БХВ-Петербург, 2001. – 320 с.
  7. Ю.А. Аляев, В.П. Гладков, О.А. Козлов. Практикум по алгоритмизации и программированию на языке Паскаль. Учебное пособие. – М.: Финансы и статистика, 2004. – 528 с.
  8. Елена Бенкен, Геннадий Самков. AJAX. Программирование для Интернета (+ CD-ROM). – СПб.: БХВ-Петербург, 2009. – 464 с.
  9. С.В. Яхонтов. Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие. – М.: Издательство СПбГУ, 2014. – 146 с.
  10. Дмитрий Магола. Логическое программирование в среде Visual Prolog. – М.: Palmarium Academic Publishing, 2014. – 136 с.
  11. Ольга Рычка. Новые методы повышения точности прогнозных регрессионных моделей. – М.: LAP Lambert Academic Publishing, 2014. – 60 с.
  12. Кей Хорстман. SCALA для нетерпеливых. – М.: ДМК Пресс, 2015. – 408 с.
  13. Ю.А. Быкадоров. Информатика и ИКТ. 9 класс. Учебник. – М.: ДРОФА, 2016. – 336 с.
  14. Питер Готтшлинг. Современный C++. Для программистов, инженеров и ученых. – М.: Вильямс, 2016. – 512 с.
  15. С.В. Зыков. Введение в теорию программирования. Курс лекций. – М.: Интернет-университет информационных технологий, 2004. – 400 с.
  16. А.А. Малявко. Формальные языки и компиляторы. Учебное пособие. – М.: Юрайт, 2017. – 432 с.
  17. Александр Степанов, Пол Мак-Джонс. Начала программирования. – М.: Вильямс, 2011. – 272 с.

Посмотреть другие результаты поиска

Образцы работ

Тема и предметТип и объем работы
Экспертные системы
Программирование 		Реферат
13 стр.
Платежные системы в Интернете
Информатика 		Диплом
102 стр.
Языковой облик газеты
Русский язык 		Реферат
17 стр.
Экономическая безопасность
Иностранный язык 		Диплом
74 стр.

Искать другие темы


Задайте свой вопрос по вашей теме

Гладышева Марина Михайловна

marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Контакты
marina@studentochka.ru
+7 911 822-56-12
с 9 до 21 ч. по Москве.
Поделиться
Мы в социальных сетях
Реклама



Отзывы
Ирина (Москва)
Ирина, здравствуйте. Курсовую защитила на отл. Спасибо. До следующего учебного года!