Содержание
73 отношения: Eiffel, Haskell, IBM, ISWIM, Scheme, Карри, Хаскелл, Клу, Клини, Стивен Коул, Кнут, Дональд Эрвин, Кодогенерация, Программная инженерия, Программная ошибка, Продолжение (информатика), Пролог (язык программирования), Премия Тьюринга, Парадигма программирования, Планкалкюль, Поколения языков программирования, Полиморфизм (информатика), Пенсильванский университет, Основания математики, Объектно-ориентированное программирование, Оптимизирующий компилятор, Архитектура набора команд, Алгол, Нюгор, Кристен, Ракитов, Анатолий Ильич, Структурное программирование, Сборка мусора, Система F, Система типов, Симула, Скотт, Дана, Сопрограмма, Тип данных, Теория вычислимости, Теория кодирования, Теория множеств, Теория моделей, Теорема Бёма — Якопини, Университет Карнеги — Меллона, Функциональное программирование, Фортран, Хронология языков программирования, Хоар, Чарльз Энтони Ричард, Цузе, Конрад, Чёрч, Алонзо, Чистота языка программирования, Язык программирования, Массачусетский технологический институт, ... Развернуть индекс (23 больше) »
Eiffel
Eiffel (Эйфель) — объектно-ориентированный язык программирования с алголоподобным синтаксисом, разработанный Бертраном Мейером.
Посмотреть Теория языков программирования и Eiffel
Haskell
Haskell — стандартизированный чистый функциональный язык программирования общего назначения.
Посмотреть Теория языков программирования и Haskell
IBM
IBM (произносится Ай-би-эм;МФА:; аббр. от International Business Machines) — американская компания со штаб-квартирой в Армонке (штат Нью-Йорк), один из крупнейших в мире производителей и поставщиков аппаратного и программного обеспечения, а также IТ-сервисов и консалтинговых услуг.
Посмотреть Теория языков программирования и IBM
ISWIM
ISWIM — абстрактный язык программирования (или семейство языков программирования) описанный Питером Лэндином (Peter J. Landin) в его статье «» («The Next 700 Programming Languages»), которая была опубликована в «the Communications of the ACM» в 1966 году.
Посмотреть Теория языков программирования и ISWIM
Scheme
Scheme — это функциональный язык программирования, один из трёх наиболее популярных в наши дни диалектов языка Лисп (другие популярные диалекты — это Common Lisp и Clojure).
Посмотреть Теория языков программирования и Scheme
Карри, Хаскелл
Ха́скелл Брукс Ка́рри (12 сентября 1900 — 1 сентября 1982) — американский и. Программа его исследований способствовала становлению конструктивного подхода к выработке оснований математики.
Посмотреть Теория языков программирования и Карри, Хаскелл
Клу
Клу (Clu, CLU) — объектно-ориентированный язык программирования, одним из первых реализовавший концепцию абстрактных типов данных и парадигму обобщённого программирования.
Посмотреть Теория языков программирования и Клу
Клини, Стивен Коул
Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США — 25 января 1994, Мадисон, Висконсин, США) — американский и.
Посмотреть Теория языков программирования и Клини, Стивен Коул
Кнут, Дональд Эрвин
Дональд Эрвин Кнут (Donald Ervin Knuth, МФА: /kəˈnuːθ/; род. 10 января 1938 года, Милуоки, штат Висконсин) — американский учёный в области информатики, эмерит-профессор Стэнфордского университета и нескольких других университетов в разных странах, в том числе Санкт-Петербургского, преподаватель и идеолог программирования, автор 19 монографий (в том числе ряда классических книг по программированию) и более 160 статей, разработчик нескольких известных программных технологий.
Посмотреть Теория языков программирования и Кнут, Дональд Эрвин
Кодогенерация
Кодогенерация — часть процесса компиляции, когда специальная часть компилятора, кодогенератор, конвертирует синтаксически корректную программу в последовательность инструкций, которые могут выполняться на машине.
Посмотреть Теория языков программирования и Кодогенерация
Программная инженерия
Мозиллы Программная инженерия (software engineering) — приложение систематического, дисциплинированного, измеримого подхода к разработке, функционированию и сопровождению программного обеспечения, а также исследованию этих подходов; то есть, приложение дисциплины инженерии к программному обеспечению (ISO/IEC/IEEE 24765-2010).
Посмотреть Теория языков программирования и Программная инженерия
Программная ошибка
Программная ошибка (жарг. «») — означает ошибку в программе или в системе, из-за которой программа выдает неожиданное поведение и, как следствие, результат.
Посмотреть Теория языков программирования и Программная ошибка
Продолжение (информатика)
Продолжение (continuation) представляет состояние программы в определённый момент, которое может быть сохранено и использовано для перехода в это состояние.
Посмотреть Теория языков программирования и Продолжение (информатика)
Пролог (язык программирования)
Пролог (англ. Prolog) — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Посмотреть Теория языков программирования и Пролог (язык программирования)
Премия Тьюринга
Премия Тьюринга (Turing Award) — самая престижная премия в информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно-технический вклад в этой области.
Посмотреть Теория языков программирования и Премия Тьюринга
Парадигма программирования
Паради́гма программи́рования — это совокупность идей и понятий, определяющих стиль написания компьютерных программ (подход к программированию).
Посмотреть Теория языков программирования и Парадигма программирования
Планкалкюль
Планкалкюль (Plankalkül — исчисление планов), — первый в мире высокоуровневый язык программирования, созданный немецким инженером Конрадом Цузе в 1943-45 году и впервые опубликованный в 1948 году.
Посмотреть Теория языков программирования и Планкалкюль
Поколения языков программирования
Языки программирования принято делить на пять поколений.
Посмотреть Теория языков программирования и Поколения языков программирования
Полиморфизм (информатика)
В языках программирования и теории типов полиморфизмом называется способность функции обрабатывать данные разных типов.
Посмотреть Теория языков программирования и Полиморфизм (информатика)
Пенсильванский университет
Пенсильванский университет (University of Pennsylvania) — частный исследовательский университет США, расположенный в Филадельфии, штат Пенсильвания, входит в элитную Лигу плюща.
Посмотреть Теория языков программирования и Пенсильванский университет
Основания математики
Основания математики — математическая система, разработанная с целью обеспечить вывод математического знания из небольшого числа чётко сформулированных аксиом с помощью логических правил вывода, тем самым гарантируя надёжность математических истин.
Посмотреть Теория языков программирования и Основания математики
Объектно-ориентированное программирование
Объе́ктно-ориенти́рованное программи́рование (ООП) — методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является экземпляром определённого класса, а классы образуют иерархию наследования.
Посмотреть Теория языков программирования и Объектно-ориентированное программирование
Оптимизирующий компилятор
Оптимизирующий компилятор — компилятор, в котором используются различные методы получения более оптимального программного кода при сохранении его функциональных возможностей.
Посмотреть Теория языков программирования и Оптимизирующий компилятор
Архитектура набора команд
Схема, иллюстрирующая место уровней микроархитектуры, архитектуры набора команд и микрокода в многоуровневой структуре компьютера Архитектура набора команд (instruction set architecture, ISA) — часть архитектуры компьютера, определяющая программируемую часть ядра микропроцессора.
Посмотреть Теория языков программирования и Архитектура набора команд
Алгол
Алго́л (Algol от algorithmic — алгоритмический и language — язык) — название ряда языков программирования, применяемых при составлении программ для решения научно-технических задач на ЭВМ.
Посмотреть Теория языков программирования и Алгол
Нюгор, Кристен
Кри́стен Ню́гор (Kristen Nygaard, 27 августа 1926 года, Осло — 10 августа 2002 года, Осло) — норвежский учёный в области теории вычислительных систем, лауреат премии Тьюринга.
Посмотреть Теория языков программирования и Нюгор, Кристен
Ракитов, Анатолий Ильич
Анато́лий Ильи́ч Раки́тов (род. 26 августа 1928, Москва, СССР) — советский и российский философ, специалист по логике, методологии, философии науки и техники, исторической эпистемологии, информатизации общества.
Посмотреть Теория языков программирования и Ракитов, Анатолий Ильич
Структурное программирование
Структу́рное программи́рование — методология разработки программного обеспечения, в основе которой лежит представление программы в виде иерархической структуры блоков.
Посмотреть Теория языков программирования и Структурное программирование
Сборка мусора
В программировании сборка мусора (garbage collection) — одна из форм автоматического управления памятью.
Посмотреть Теория языков программирования и Сборка мусора
Система F
Система F (полиморфное лямбда-исчисление, система \lambda2, типизированное лямбда-исчисление второго порядка) — система типизированного лямбда-исчисления, отличающаяся от просто типизированной системы наличием механизма универсальной квантификации над типами.
Посмотреть Теория языков программирования и Система F
Система типов
Система типов — совокупность правил в языках программирования, назначающих свойства, именуемые типами, различным конструкциям, составляющим программу — таким как переменные, выражения, функции или модули.
Посмотреть Теория языков программирования и Система типов
Симула
Си́мула-67 (Simula 67) — язык программирования общего назначения, разработанный в конце 60-х сотрудниками Норвежского Вычислительного Центра (Осло) Кристеном Нюгором и Оле-Йоханом Далем для моделирования сложных систем.
Посмотреть Теория языков программирования и Симула
Скотт, Дана
Да́на Стю́арт Скотт (Dana Stewart Scott, р. 11 октября 1932 года) — американский, известный работами в области математической логики и информатики.
Посмотреть Теория языков программирования и Скотт, Дана
Сопрограмма
Сопрограммы (coroutines) — методика связи программных модулей друг с другом по принципу кооперативной многозадачности: модуль приостанавливается в определённой точке, сохраняя полное состояние (включая стек вызовов и счётчик команд), и передаёт управление другому.
Посмотреть Теория языков программирования и Сопрограмма
Тип данных
Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).
Посмотреть Теория языков программирования и Тип данных
Теория вычислимости
Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости.
Посмотреть Теория языков программирования и Теория вычислимости
Теория кодирования
Тео́рия коди́рования — изучение свойств кодов и их пригодности для достижения поставленной цели.
Посмотреть Теория языков программирования и Теория кодирования
Теория множеств
Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством.
Посмотреть Теория языков программирования и Теория множеств
Теория моделей
Теория моделей — раздел математической логики, который занимается изучением связи между формальными языками и их интерпретациями, или моделями.
Посмотреть Теория языков программирования и Теория моделей
Теорема Бёма — Якопини
Теорема Бёма — Якопини — положение структурного программирования, согласно которому любой исполняемый алгоритм может быть преобразован к структурированному виду, то есть такому виду, когда ход его выполнения определяется только при помощи трёх структур управления: последовательной (sequence), ветвлений (англ.
Посмотреть Теория языков программирования и Теорема Бёма — Якопини
Университет Карнеги — Меллона
Университет Карнеги — Меллон (Carnegie Mellon University, CMU) — частный университет и исследовательский центр, расположенный в Питтсбурге, (штат Пенсильвания, США).
Посмотреть Теория языков программирования и Университет Карнеги — Меллона
Функциональное программирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Посмотреть Теория языков программирования и Функциональное программирование
Фортран
Фортра́н (Fortran) — первый язык программирования высокого уровня, получивший практическое применение, имеющий транслятор и испытавший дальнейшее развитие.
Посмотреть Теория языков программирования и Фортран
Хронология языков программирования
Хронология языков программирования — упорядоченный в хронологическом порядке список языков программирования.
Посмотреть Теория языков программирования и Хронология языков программирования
Хоар, Чарльз Энтони Ричард
Сэр Чарльз Э́нтони Ри́чард Хо́ар (Charles Antony Richard Hoare или Tony Hoare или C.A.R. Hoare, р. 11 января 1934, Коломбо, Цейлон, Британская империя, ныне Шри-Ланка) — английский учёный, специализирующийся в области информатики и вычислительной техники.
Посмотреть Теория языков программирования и Хоар, Чарльз Энтони Ричард
Цузе, Конрад
Доктор Ко́нрад Эрнст О́тто Цу́зе (Dr.;,, Германская империя —,, Германия) — немецкий инженер, пионер компьютеростроения.
Посмотреть Теория языков программирования и Цузе, Конрад
Чёрч, Алонзо
Алонзо Чёрч (Alonzo Church; 14 июня 1903 года, Вашингтон — 11 августа 1995 года, Хадсон, Огайо, США) — американский математик и логик, внесший значительный вклад в основы информатики.
Посмотреть Теория языков программирования и Чёрч, Алонзо
Чистота языка программирования
Чистота́ (в отношении языка программирования) — отсутствие побочных эффектов.
Посмотреть Теория языков программирования и Чистота языка программирования
Язык программирования
Язык программи́рования — формальный язык, предназначенный для записи компьютерных программISO/IEC/IEEE 24765:2010 Systems and software engineering — VocabularyISO/IEC 2382-1:1993, Information technology — Vocabulary — Part 1: Fundamental terms.
Посмотреть Теория языков программирования и Язык программирования
Массачусетский технологический институт
Массачу́сетский технологи́ческий институ́т (МТИ, Massachusetts Institute of Technology, MIT) — университет и исследовательский центр, расположенный в Кембридже (пригороде Бостона), штат Массачусетс, США.
Посмотреть Теория языков программирования и Массачусетский технологический институт
Математическая логика
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики.
Посмотреть Теория языков программирования и Математическая логика
Маккарти, Джон
Джон Маккарти (4 сентября 1927, Бостон — 24 октября 2011, Стэнфорд) — американский информатик, автор термина «искусственный интеллект» (1955), изобретатель языка Лисп (1958), основоположник функционального программирования, лауреат Премии Тьюринга (1971) за огромный вклад в область исследований искусственного интеллекта.
Посмотреть Теория языков программирования и Маккарти, Джон
Миранда (язык программирования)
Miranda — функциональный язык программирования, созданный в 1985 году Дэвидом Тёрнером в качестве стандартного функционального языка.
Посмотреть Теория языков программирования и Миранда (язык программирования)
Милнер, Робин
Робин Милнер (Arthur John Robin Gorell Milner; 13 января 1934 — 20 марта 2010, Кембридж, Великобритания) — английский учёный в области теории вычислительных систем.
Посмотреть Теория языков программирования и Милнер, Робин
Модель акторов
В компьютерных науках моде́ль а́кторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на получаемые сообщения актор может принимать локальные решения, создавать новые акторы, посылать свои сообщения, а также устанавливать, как следует реагировать на последующие сообщения.
Посмотреть Теория языков программирования и Модель акторов
Мейер, Бертран
Бертран Мейер Бертран Мейер (род. 21 ноября 1950 года) — создатель языка программирования Эйфель.
Посмотреть Теория языков программирования и Мейер, Бертран
История языков программирования
Прогресс компьютерных технологий определил процесс появления новых разнообразных знаковых систем для записи алгоритмов языков программирования.
Посмотреть Теория языков программирования и История языков программирования
Иерархия Хомского
Иерархия Хомского — классификация формальных языков и формальных грамматик, согласно которой они делятся на 4 типа по их условной сложности.
Посмотреть Теория языков программирования и Иерархия Хомского
Бэкус, Джон
Джон Бэкус (John Warner Backus, 3 декабря 1924 года — 17 марта 2007 года) — американский учёный в области информатики, руководитель команды создателей первого высокоуровневого языка программирования Фортран, изобретатель формы Бэкуса — Наура — одной из самых распространённых и универсальных нотаций для определения синтаксиса формальных языков, лауреат Премии Тьюринга (1977).
Посмотреть Теория языков программирования и Бэкус, Джон
Бём, Коррадо
Коррадо Бём (Corrado Böhm; 17 января 1923 года, Милан — 23 октября 2017 года, Рим) — итальянский, специалист в области информатики и математической логики, внёсший решающий вклад в теоретическое обоснование парадигмы структурного программирования и получивший важные результаты в λ-исчислении, комбинаторной логике, семантике языков программирования; один из ранних исследователей теории языков программирования.
Посмотреть Теория языков программирования и Бём, Коррадо
Вычислительная сложность
Вычисли́тельная сло́жность — понятие в информатике и теории алгоритмов, обозначающее функцию зависимости объёма работы, которая выполняется некоторым алгоритмом, от размера входных данных.
Посмотреть Теория языков программирования и Вычислительная сложность
Вывод типов
Вывод типов (type inference) — в программировании возможность компилятора самому логически вывести тип значения у выражения.
Посмотреть Теория языков программирования и Вывод типов
Виртуальная машина
Fedora запущена в VirtualBox Виртуальная машина (VM, от virtual machine) — программная и/или аппаратная система, эмулирующая аппаратное обеспечение некоторой платформы (target — целевая, или гостевая платформа) и исполняющая программы для target-платформы на host-платформе (host — хост-платформа, платформа-хозяин) или виртуализирующая некоторую платформу и создающая на ней среды, изолирующие друг от друга программы и даже операционные системы (см.: песочница); также спецификация некоторой вычислительной среды (например: «виртуальная машина языка программирования Си»).
Посмотреть Теория языков программирования и Виртуальная машина
Даль, Оле-Йохан
Оле-Йохан Даль (Ole-Johan Dahl, 12 октября 1931 года, Мандал — 29 июня 2002 года, Осло) — норвежский учёный в области теории вычислительных систем, лауреат премии Тьюринга.
Посмотреть Теория языков программирования и Даль, Оле-Йохан
Лисков, Барбара
Барбара Лисков (Barbara Liskov, урождённая Барбара Джейн Губерман — Barbara Jane Huberman; род. 7 ноября 1939) — американский учёный в области информатики, исследователь проблемы абстракции данных, руководитель группы разработки языка программирования Клу, лауреат премии Тьюринга 2008 года.
Посмотреть Теория языков программирования и Лисков, Барбара
Лисп
Массачусетского технологического института. Лисп (LISP, от LISt Processing language — «язык обработки списков»; современное написание: Lisp) — семейство языков программирования, программы и данные в которых представляются системами линейных списков символов.
Посмотреть Теория языков программирования и Лисп
Лингвистика
Лингви́стика (от lingua — язык), языкозна́ние, языкове́дение — наука, изучающая языки.
Посмотреть Теория языков программирования и Лингвистика
Логическое программирование
Логи́ческое программи́рование — парадигма программирования, основанная на автоматическом доказательстве теорем, а также раздел дискретной математики, изучающий принципы логического вывода информации на основе заданных фактов и правил вывода.
Посмотреть Теория языков программирования и Логическое программирование
Логика Хоара
Логика Хоара (Hoare logic, также Floyd—Hoare logic, или Hoare rules) — формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ.
Посмотреть Теория языков программирования и Логика Хоара
Ленивые вычисления
Ленивые вычисления (lazy evaluation, также отложенные вычисления) — применяемая в некоторых языках программирования стратегия вычисления, согласно которой вычисления следует откладывать до тех пор, пока не понадобится их результат.
Посмотреть Теория языков программирования и Ленивые вычисления
1966 год в науке
В 1966 году были различные научные и технологические события, некоторые из которых представлены ниже.
Посмотреть Теория языков программирования и 1966 год в науке
1967 год в науке
В 1967 году были различные научные и технологические события, некоторые из которых представлены ниже.
Посмотреть Теория языков программирования и 1967 год в науке
1969 год в науке
В 1969 году были различные научные и технологические события, некоторые из которых представлены ниже.
Посмотреть Теория языков программирования и 1969 год в науке
Также известен как Теория языка программирования.