→ Пошук по сайту       Увійти / Зареєструватися
Знання

Мова програмування C#

Мова програмування C#

Вступ

Найважливішими математичними формалізаціями, розглянутими в даному курсі, є ламбда-числення і комбінаторна логіка. Ще в 1924 р. М. Шейнфінкель (Moses Schonfinkel) розробив просту (simple) теорію функцій, яка фактично була обчисленням об'єктів-функцій і передбачила появу ламбда-числення - математичної формалізації, що підтримує мови функціонального програмування (тобто програмування в термінах функцій ).

Об'єктно-орієнтований підхід до програмування

Розглянемо особливості об'єктно-орієнтованого підходу до програмування в порівнянні з функціональним підходом. Нагадаємо, що класифікація підходів до програмування була побудована нами у вступній лекції.

Платформа .NET та її застосування для ООП

Досліджуємо особливості програми ідеології. NET для проектування та реалізації об'єктно-орієнтованих програм.

Основи С#

Перш ніж перейти безпосередньо до дослідження конструктивних особливостей мови програмування C #, розглянемо хід його розвитку

Лабораторна робота: Розробка елементарних програм на мові програмування C#

Платформа. NET Framework надає середовище для підтримки створення та виконання інтероперабельних гетерогенних додатків. Основними особливостями даної платформи є не залежить від мови середовище виконання (Common Language Runtime, CLR) і бібліотека класів. NET

Семантика основних конструкцій мови програмування C#

Уявімо побудову денотаціонної семантики найважливіших конструкцій мови програмування C #. Нагадаємо, що історія розвитку теорії та практики семантичного аналізу мов програмування були розглянуті у вступній лекції.

Основні поняття ООП: об'єкти, класи і методи.

Викладемо апарат об'єктно-орієнтованого підходу до програмування. Перш ніж будуть викладені математично строгі визначення (у тому числі в термінах теорії дескрипцій), спробуємо сформувати попереднє уявлення про основні сутності даного підходу.

Класи та об'єкти

Поняття класу є фундаментальним в ООП і служить основою для створення об'єктів. В описі класу визначаються дані (тобто змінні) і код (тобто методи), який маніпулює цими даними. Об'єкти є екземплярами класу.

Теорія типів і типізація в .NET

Обговоримо основи дисципліни типів у рамках. NET. Нагадаємо, що історія розвитку математичної формалізації для типових теорій викладена у вступній лекції, а основа теорії типів - у лекції 6.

Література

Основы программирования на C#

В.А. Биллиг, intuit.ru
http://www.intuit.ru/department/pl/csharp/

Введение в язык C# и .NET Framework

MSDN
http://msdn.microsoft.com/ru-ru/library/z1zx9t92(v=VS.90).aspx

C#

Вікіпедія
http://uk.wikipedia.org/wiki/C_Sharp

Сторінки, близькі за змістом