From philosophy to computation: how Russell’s type theory impacts programming languages

Рубрика	Программирование, компьютеры и кибернетика
Вид	статья
Язык	английский
Дата добавления	22.02.2021
Размер файла	135,3 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Подобные документы

• Транслятор на языке Си для перевода текста программы с языка Паскаль на язык Си (integer, repeat … until, procedure, type, record (для type))

  Написaние прoграммы, выполняющей трансляцию с языка программирования Пaскaль нa язык прoгрaммирoвaния Си и транслирующей конструкции, такие кaк integer, repeat … until Le, procedure, type, record для type. Обработка арифметических и логических выражений.
  
  курсовая работа [314,3 K], добавлен 03.07.2011
  

• Исследование алгоритма SSA-метода при анализе временных последовательностей данных с шумом по известному закону распределения

  Формализованное описание закона Pearson Type V. Характеристика методов получения выборки с распределением Pearson Type V. Исследование временных рядов с шумом заданным Rayleigh. Экспериментальное исследование средней трудоемкости Pirson Type V и Rayleigh.
  
  курсовая работа [4,5 M], добавлен 20.06.2010
  

• Разработка программы для сбора сведений о системе

  Использование в программах, написанных на языке C, Windows application programming interfaces. Роль центрального процессора. Архитектура Фон Неймана. Оперативная память. Графическая плата. Создание интерфейса программы. Разработка машинного кода.
  
  реферат [101,5 K], добавлен 15.05.2014
  

• Синтаксический и лексический анализатор

  Составление транслятора на языке С для перевода кода программы из языка Pascal в код программы на языке Cи. Распознавание и перевод конструкций: for, type, function, integer. Вешняя спецификация, описание, структура, текст программы; распечатка текстов.
  
  курсовая работа [287,8 K], добавлен 24.06.2011
  

• Creating graphic editor

  Creation of the graphic program with Visual Basic and its common interface. The text of program code in programming of Visual Basic language creating in graphics editor. Creation of pictures in Visual Basic, some graphic actions with graphic editor.
  
  лабораторная работа [1,8 M], добавлен 06.07.2009
  

• The modernization of the site zonal networks Stepnogorsk-Kokshetau based fiber-optic line

  Lines of communication and the properties of the fiber optic link. Selection of the type of optical cable. The choice of construction method, the route for laying fiber-optic. Calculation of the required number of channels. Digital transmission systems.
  
  дипломная работа [1,8 M], добавлен 09.08.2016
  

• The mobile application HeadyUp

  Social network theory and network effect. Six degrees of separation. Three degrees of influence. Habit-forming mobile products. Geo-targeting trend technology. Concept of the financial bubble. Quantitative research method, qualitative research.
  
  дипломная работа [3,0 M], добавлен 30.12.2015
  

• BCH coding

  The solving of the equation bose-chaudhuri-hocquenghem code, multiple errors correcting code, not excessive block length. Code symbol and error location in the same field, shifts out and fed into feedback shift register for the residue computation.
  
  презентация [111,0 K], добавлен 04.02.2011
  

• Информационная система "Учет товаров на складе"

  Проектирование базы данных "Учет товаров на складе". Сущность типа связи "один – к – одному", "один – ко – многим". Реализация базы данных на компьютере. Define Secondary Indexes. Взаимосвязанные таблицы информационной части в формате "Paradox 7.0".
  
  контрольная работа [713,0 K], добавлен 18.05.2014
  

• Розробка керуючої програми для програмованих логічних контролерів Zelio Logic та ОВЕН

  Розробка принципової електричної схеми системи управління конвеєрною лінією, яка складається з трьох послідовних конвеєрів. Реалізація алгоритму роботи на мові сходинкових діаграм LD. Розробка керуючої програми для мікроконтролерів Zelio Logic та ОВЕН.
  
  курсовая работа [230,2 K], добавлен 15.06.2015
  

• Исследование возможностей САПР Quartus

  Окно для работ с Design Assistant. Пример комбинационной логики, используемой в качестве тактового сигнала. Условия эффективного снижения энергопотребления с помощью сигнала синхронизации, полученного при помощи логической ячейки. Вкладка Fitter Settings.
  
  курсовая работа [562,7 K], добавлен 05.11.2014
  

• Разработка программного обеспечения ТОО "ABC Design"

  История образования ТОО "ABC Design". Разработка программного и информационного обеспечения компьютерных сетей, автоматизированных систем вычислительных комплексов и сервисов. Работа с CRM системой Task Manager и с панелью управления сайтов JOOMLA.
  
  отчет по практике [727,4 K], добавлен 13.07.2017
  

• Моделирование бизнес-процессов деятельности гостиницы

  Рассмотрение особенностей структурного разбиения предметной области. Характеристика функциональной и информационной модели бизнес-процессов предметной области. Построение IDEF0- и IDEF1Х-модели заданной предметной области с помощью пакета Design/IDEF.
  
  контрольная работа [486,5 K], добавлен 08.06.2019
  

• Структура й оцінка економічної інформації

  Структура економічної інформації підприємства, її основні елементи та їх взаємозв’язок. Структуризація економічної інформації. Класифікація та різновиди інформаційних систем. Особливості СУБД Approach, Paradox, Access, перспективи їх подальшого розвитку.
  
  контрольная работа [28,9 K], добавлен 27.07.2009
  

• Проектирование вычислительной системы реального времени

  Расчет трудоемкости алгоритма. Определение быстродействия процессора. Характеристика контроллеров серии Direct Logic DL. Устройства, которые вошли в структуру системы. Выбор программного обеспечения. Расчет работоспособности и надежности системы.
  
  курсовая работа [2,0 M], добавлен 14.01.2013
  

• Расчет информационных рисков

  Информация, хранящаяся в наших компьютерах, главное содержание, принципы построения и требования к ней. Основные методы учета рисков при анализе проектов. Теория Нечеткой Логики (Fuzzy Logic), направления и специфика применения с помощью пакета Matlab.
  
  контрольная работа [2,9 M], добавлен 06.10.2014
  

• Управление частной организацией

  Обоснование выбора средств разработки приложения. Добавление, удаление, редактирование информации. Отражение информации из базы данных. Поиск информации по выбранной таблице. Проекты Data, Entity, Logic, Firm. Схема взаимодействия проектов программы.
  
  курсовая работа [1,8 M], добавлен 18.01.2015
  

• Разработка и исследование интеллектуальных систем

  Проектирование экспертной системы выбора нейронной сети. Сущность семантических сетей и фреймов. MatLab и системы Фаззи-регулирования. Реализация программы с использованием пакета fuzzy logic toolbox системы MatLab 7. Составление продукционных правил.
  
  курсовая работа [904,4 K], добавлен 17.03.2016
  

• Использование PlanTracer и RasterDesk при проектировании структурированных кабельных сетей

  Структурированные кабельные сети. Универсальная среда передачи информации, объединяющая локальные вычислительные и телефонные сети, системы безопасности, видеонаблюдения. Деятельность компании Step Logic. Применение программ Raster Desk и PlanTracer.
  
  доклад [597,2 K], добавлен 24.02.2013
  

• Использование PlanTracer и RasterDesk при проектировании структурированных кабельных сетей

  Основные направления деятельности компании Step Logic в области сетевой интеграции. Использование растрового изображения в качестве подложки. Особенности применение программы Raster Desk и PlanTracer. Отключение видимости при распознавании объекта.
  
  доклад [599,1 K], добавлен 04.04.2013
  

• главная
• рубрики
• по алфавиту
• вернуться в начало страницы
• вернуться к началу текста
• вернуться к подобным работам