Основы современного программирования. Разработка гетерогенных систем в Интернет-ориентированной среде, учебное пособие
| Main Author: | |
|---|---|
| Summary: | Систематизированы теоретические и практические сведения в области современного программирования. Рассмотрены основы функционального подхода к программированию на основе метаязыка SML.NET <http://SML.NET> и подходы к объектно-ориентированному и компонентному программированию на языках SML и С#. Особое внимание уделено применению языковых конструкций для создания корректных, эффективных и надежных программ. Книга написана на основании курса лекций, читаемого автором на факультете информационной безопасности МИФИ, и построена на основе творческого синтеза избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернет-ориентированной технологической платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Каждая глава учебного пособия сопровождается контрольными вопросами. Для студентов, аспирантов, специализирующихся в области компьютерных наук и информационных технологий, может быть полезной для опытных программистов. |
| Language: | Russian |
| Published: |
Москва, Горячая линия-Телеком, 2006
|
| Series: | Специальность |
| Subjects: | |
| Format: | Book |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=107495 |
| Physical Description: | 443 с. ил. |
|---|---|
| Summary: | Систематизированы теоретические и практические сведения в области современного программирования. Рассмотрены основы функционального подхода к программированию на основе метаязыка SML.NET <http://SML.NET> и подходы к объектно-ориентированному и компонентному программированию на языках SML и С#. Особое внимание уделено применению языковых конструкций для создания корректных, эффективных и надежных программ. Книга написана на основании курса лекций, читаемого автором на факультете информационной безопасности МИФИ, и построена на основе творческого синтеза избранных формальных теорий (лямбда-исчисление, комбинаторная логика, теория категорий и др.) и интернет-ориентированной технологической платформы Microsoft .NET, обеспечивающей практически прозрачную интеграцию кода на языках программирования различных типов. Каждая глава учебного пособия сопровождается контрольными вопросами. Для студентов, аспирантов, специализирующихся в области компьютерных наук и информационных технологий, может быть полезной для опытных программистов. |
| ISBN: | 5935172283 |