Лямбда-исчисление
Рассмотрение неклассического лямбда-исчисления, основное назначение. Особенности системы вывода результатов. Характеристика программирования на языке Haskell. Знакомство со способами преобразования выражений в лямбда-исчислении. Анализ функций CONS.
Подобные документы
Ознакомление с вербальной постановкой задачи линейного программирования. Рассмотрение и характеристика симплексного метода решения задач. Анализ решения задачи в еxcel. Исследование результатов расчета и процесса выработки управленческого решения.
курсовая работа, добавлен 11.04.2017Методика преобразования циклических графологических моделей, отражающих поведение отказоустойчивых многопроцессорных систем в потоке отказов, путем модификации их реберных функций. Оценки для блокируемых векторов состояния системы служебной модели.
статья, добавлен 28.02.2016- 128. Оператор Grant
Особенности оператора Grant, назначение. Рассмотрение преимуществ ролей: упрощение работы по предоставлению разрешений, повышение производительности системы. Характеристика синтаксиса оператора Grant. Знакомство со сферами использования разрешения All.
презентация, добавлен 18.10.2013 Общая характеристика и особенности реализации трех типов операторов цикла, используемых в языке программирования Си: с предусловием, с постусловием и с параметром. Специфика применения различных операторов. Этапы программирования итерационных циклов.
реферат, добавлен 10.10.2013Изучение организации вычислительной техники на предприятии и понятие программного языка Си; среда и основы его программирования.Разработка, код, структура, результаты работы, функции и описание программного обеспечения, созданного на языке Си.
курсовая работа, добавлен 06.02.2014Общая информация, классификация и виды внешних устройств компьютера. Краткая характеристика устройств ввода, вывода информации, диалоговых средств пользователя, средств связи и телекоммуникации. Основное назначение компьютерных сетей, их топология.
презентация, добавлен 25.12.2016Mathcad как популярная система компьютерной математики, предназначенная для автоматизации решения массовых математических задач, рассмотрение возможностей. Знакомство со средствами повышения эффективности вычислений. Анализ функций электронных книг.
контрольная работа, добавлен 09.12.2013Изучение этапов проектирования информационной системы. Рассмотрение функций системы управления базы данных. Характеристика особенностей разработки информационной системы автоматизации учета на предприятии. Исследование результатов тестирования программы.
курсовая работа, добавлен 24.12.2013Структура базы данных, ее основные объекты. Проектировочный и пользовательский режим СУБД. Компоненты для создания программы: текстовый редактор, компилятор, редактор связей и библиотеки функций, исполнимый код. Основное назначение экспертной системы.
реферат, добавлен 22.09.2011Общая характеристика и виды счётных устройств. Системы исчисления с использованием засечек. Русские счеты и палочки Непера. Применение логарифмической линейки в математике. Эскиз механического суммирующего устройства. Прототипы современного компьютера.
реферат, добавлен 25.11.2014Характеристика внешних устройств персонального компьютера, основное назначение. Клавиатура как главное устройство ввода большинства компьютерных систем. Анализ основных типов сканеров: ручной, настольный. Знакомство с особенностями струйных плоттеров.
курсовая работа, добавлен 16.05.2013Характеристика работы Т. Куна "Структура научных революций". IBM 704 как первый компьютер, аппаратно-поддерживающий вычисления с плавающей точкой. Сущность понятия "парадигма программирования". Знакомство с языками программирования второго поколения.
статья, добавлен 27.02.2019Состав и выбор инструментальных средств разработки в Microsoft Windows. Программирование на языке Си. Основы Си++, система ввода/вывода, типы данных, функции. Наследование и полиморфизм, библиотека шаблонов. Необъектно-ориентированные средства Си++.
курс лекций, добавлен 09.10.2015Изучение подхода, позволяющего учитывать неопределённость в оптимизационных моделях. Разработка программы "Стохастического программирования" на языке программирования Visual Basic. Анализ требований к надежности, составу и параметрам технических средств.
курсовая работа, добавлен 11.05.2012Общая характеристика среды программирования Borland Delphi 7.0 под управлением Windows 7. Анализ наиболее важных этапов построения блок-схемы программы. Знакомство с особенностями создания тестирующих программ в среде программирования Borland Delphi 7.0.
дипломная работа, добавлен 16.06.2014Характеристика нормативных документов создания документации. Выбор программных средств. Анализ структуры проектов на языке программирования Delphi. Описание функций программы и базы данных. Разработка основного приложения и пользовательского интерфейса.
дипломная работа, добавлен 28.10.2019- 142. Системы баз данных
Характеристика базы данных как совокупности самостоятельных материалов, основное назначение. Функции системы управления базами данных: управление данными во внешней памяти, журнализация изменений. Причины нарушения ссылочной целостности. Анализ языка SQL.
шпаргалка, добавлен 04.08.2012 Разработка программы для вычисления арифметического выражения и вывода полученного результата. Описание алгоритма составления программы, операторы языка для вычисления простых и условных выражений, базовые типы данных. Блок-схема алгоритма вычисления.
лабораторная работа, добавлен 16.01.2015Исторические аспекты развития программирования. Классификация и обзор языков программирования. Характерные черты процедурного, функционального, логического, объектно-ориентированного программирования. Рассмотрение языков программирования баз данных.
курсовая работа, добавлен 21.08.2017Характеристика компилятора и разработка новых прикладных и системных программ с помощью языков высокого уровня. Основные недостатки системы программирования Turbo Pascal. Развитие системы программирования Visual Basic и сущность Microsoft Visual C.
учебное пособие, добавлен 21.11.2011Базовая система ввода-вывода, структура и функциональные особенности системы BIOS персонального компьютера. Периферийные устройства, принцип их работы и условия эффективного применения. Поддержка операций вода-вывода, многослойная (иерархическая) модель.
курсовая работа, добавлен 12.03.2015Общая характеристика механизма преобразования растровых результатов в вектор. Знакомство с особенностями и основными этапами разработки учебно-методического пособия по геоинформационному моделированию. Рассмотрение преимуществ инструмента "Zoom".
статья, добавлен 12.02.2019Методология создания сайтов. Характеристика языков Web-программирования. Программирование на языке JavaScript: размещение кода на HTML-странице, URL-схема JavaScript, условная генерация HTML-разметки на стороне браузера. Программирование свойств браузера.
курсовая работа, добавлен 05.04.2015Рассмотрение особенностей построения семантической сети. Общая характеристика экспертной системы по выбору телефона Xiaomi, которая выполнена в виде Windows-приложения. Знакомство с основными способами и методами подключения базы данных к Visual Studio.
статья, добавлен 17.02.2019Ознакомление с ВЦ предприятия и техники. Изучение особенностей пакета Microsoft Office. Рассмотрение преимущества офисного программирования. Оценка особенностей программирования для Word из Delphi. Характеристика программирования в офисных пакетах.
реферат, добавлен 23.04.2016