Введение в теорию программирования. Функциональный подход
Вступительная лекция
Классификация языков программирования
Концепция и возможности подхода .NET
Функциональный подход к программированию
Ламбда-исчисление как формализация языка функционального программирования
Введение
Теоретические сведения
Функции и типы
Типы, объекты и методы .NET
Задание
Варианты заданий
Комбинаторная логика как формальная система
Теория типов и комбинаторная логика
Теоретические сведения
Задание
Варианты заданий
Синтаксис языков программирования
Семантика языков программирования
Теоретические сведения
Задание
Варианты заданий
Рекурсивные функции и множества
Теоретические сведения
Задание
Абстрактные машины и категориальная комбинаторная логика
Категориальная абстрактная машина
Оптимизация вычислений и абстрактные машины
Теоретические сведения
Задание
Самодельные электронные устройства в быту
Степень цивилизованности общества во многом определяется тем временем, которое оно предоставляет человеку для культурного досуга. Можно сократить продолжительность рабочего дня, но не подумать о быте — и тогда домашние дела «съедят» все свободное время.Социалистическое государство стремится как можно полнее удовлетворять потребности народа. Создана широкая сеть предприятий бытового обслуживания. Кроме того, целая отрасль промышленности занята производством электрических и электронных бытовых приборов и устройств, позволяющих облегчить ручной труд.
ЛДС без стартера
ЛДС на постоянном токе
