rdfs:comment
| - SETL (SET Language) is a very high-level programming language based on the mathematical theory of sets. It was originally developed by (Jack) Jacob T. Schwartz at the New York University (NYU) Courant Institute of Mathematical Sciences in the late 1960s. (en)
- SETL(SET语言)是一种基于数学集合论的领域特定的高级编程语言。它最初由(Jack)Jacob T. Schwartz于二十世纪六十年代末在纽约大学科朗数学研究所开发。 (zh)
- SETL (Set Language, engl. für Mengensprache) ist eine höhere Programmiersprache die auf der Mengenlehre der Mathematik aufbaut. Sie wurde 1969/70 von Jack T. Schwartz am Courant Institute of Mathematical Sciences of New York University entwickelt. Als fundamentale Datentypen kennt SETL Integer, Real, String, Boolean und den Nullwert Omega (om). Es gibt keine starke Typisierung, der Datentyp einer Variable wird je nach zugewiesenem Inhalt angepasst. Des Weiteren verfügt SETL über automatische Speicherbereinigung. (de)
- SETL est un langage de programmation de très haut niveau basé sur la théorie mathématique des ensembles. Il a été à l'origine développé près Jacob T. Schwartz au Courant Institute of Mathematical Sciences de la NYU. Il existe une variante nommée ISETL (de l'anglais Interactive SET Language) permettant de faire de la programmation sur des ensembles mathématiques. (fr)
- SETL é uma linguagem de programação de "altíssimo nível", baseada na teoria matemática de conjuntos. Foi originalmente desenvolvida por Jacob Theodore Schwartz no Courant Institute of Mathematical Sciences na NYU no fim dos anos 1960. A linguagem SETL fornece expressões booleanas quantificadas construídas utilizando-se quantificadores universais e quantificadores existênciais da lógica de primeira ordem. A linguagem SETL fornece diversos iterators para produzir uma variedade de sobre estruturas de dados agregados. (pt)
- Сетл (SETL; от англ. set language — язык множеств) — язык программирования, ориентированный на работу со множествами, разработанный в конце 1960-х годов группой профессора Нью-йоркского университета . Синтаксические конструкции языка содержат операции, позволяющие манипулировать со множествами — включение, исключение, проверка принадлежности, кванторы всеобщности и существования, итераторы, позволяющие обрабатывать каждый элемент множества и так далее. Кроме множеств, язык поддерживает работу с упорядоченными множествами — кортежами. (ru)
|