setl wikipedia - EAS

70,600 kết quả
  1. 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.
    Designed by: (Jack) Jacob T. Schwartz
    Stable release: 1.1, / January 7, 2005; 17 years ago
    Typing discipline: Dynamic

    SETL - Wikipedia

    en.wikipedia.org/wiki/SETL
    Mục này có hữu ích không?
  2. Mọi người cũng hỏi
    What is the history of SETL?
    It was originally developed by (Jack) Jacob T. Schwartz at the New York University (NYU) Courant Institute of Mathematical Sciences in the late 1960s. SETL provides two basic aggregate data types: unordered sets, and sequences (the latter also called tuples ).

    SETL - Wikipedia

    en.wikipedia.org/wiki/SETL
    Xem tất cả kết quả cho câu hỏi này
    What is SETL (SET Language)?
    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.

    SETL - Wikipedia

    en.wikipedia.org/wiki/SETL
    Xem tất cả kết quả cho câu hỏi này
    What are the basic operations of set in set L?
    Primitive operations in SETL include set membership, union, intersection, and power set construction, among others. SETL provides quantified boolean expressions constructed using the universal and existential quantifiers of first-order predicate logic . SETL provides several iterators to produce a variety of loops over aggregate data structures.

    SETL - Wikipedia

    en.wikipedia.org/wiki/SETL
    Xem tất cả kết quả cho câu hỏi này
    What is the best introductory book on SETL?
    Schwartz, Jacob T., Dewar, R.B.K., Dubinsky, E., and Schonberg, E., Programming With Sets: An Introduction to SETL, 1986. ISBN 0-387-96399-5.

    SETL - Wikipedia

    en.wikipedia.org/wiki/SETL
    Xem tất cả kết quả cho câu hỏi này
    Phản hồi
  3. Xem thêm
    Xem tất cả trên Wikipedia

    SETL - Wikipedia

    https://en.wikipedia.org/wiki/SETL

    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.

     ...

    Xem thêm
    Design

    SETL provides two basic aggregate data types: unordered sets, and sequences (the latter also called tuples). The elements of sets and tuples can be of any arbitrary type, including sets and tuples themselves. Maps are provided as sets

     ...

    Xem thêm
    Examples

    Print all prime numbers from 2 to N:
    The notation is similar to list comprehension.
    A factorial procedure

     ...

    Xem thêm
    Uses

    Implementations of SETL were available on the DEC VAX, IBM/370, SUN workstation and APOLLO. In the 1970s, SETL was ported to the BESM-6, ES EVM and other Russian computer systems.
    SETL was used for an early implementation of the

     ...

    Xem thêm
    Language variants

    SET Language 2 (SETL2), a backward incompatible descendant of SETL, was created by Kirk Snyder of the Courant Institute of Mathematical

     ...

    Xem thêm
    Further reading

    • Schwartz, Jacob T., "Set Theory as a Language for Program Specification and Programming". Courant Institute of Mathematical Sciences, New York University, 1970.

     ...

    Xem thêm
    External links

    • Official website
    • Programming in SETL and other things
    • SETL Historical Sources Archive

     ...

    Xem thêm
    Văn bản Wikipedia theo giấy phép CC-BY-SA
    Mục này có hữu ích không?Cảm ơn! Cung cấp thêm phản hồi

  4. SETL (ngôn ngữ lập trình) – Wikipedia tiếng Việt

    https://vi.wikipedia.org/wiki/SETL_(ngôn_ngữ_lập_trình)

    SETL (Set Language - ngôn ngữ lập trình trên các tập hợp) là ngôn ngữ lập trình được phát triển tại NYU (Viện Toán Courant, Hoa Kỳ). Ngôn ngữ này có một số đặc điểm cú pháp giống Pascal nhưng có những cấu trúc cấp cao hơn (kiểu danh sách, kiểu tập hợp).

    Wikipedia · Nội dung trong CC-BY-SA giấy phép

  5. SETL – Wikipedia

    https://de.wikipedia.org/wiki/SETL

    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 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 …

    • Thời gian đọc ước tính: 2 phút

    • SETL — Wikipédia

      https://fr.wikipedia.org/wiki/SETL
      • Retourner tous les nombres premiers inférieurs à n : La notation est semblable à la compréhension de liste.
      Xem thêm trên fr.wikipedia.org
      • Thời gian đọc ước tính: 2 phút

      • SETL – Wikipédia, a enciclopédia livre

        https://pt.wikipedia.org/wiki/SETL

        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.. SETL fornece dois tipos básicos de dados agregados: conjuntos não-ordenados, e sequências (este último também chamado de tuplas).

      • SETL. All about cryptocurrency - BitcoinWiki

        https://en.bitcoinwiki.org/wiki/SETL

        SETL is an institutional payment and settlement infrastructure based on blockchain technology that has its own blockchain-powered OpenCSD platform. The OpenCSD platform enables any market participant to commission and run a permissioned registry service for payments, settlement, and clearing of cash and other financial instruments.

      • SETL - 维基百科，自由的百科全书

        https://zh.wikipedia.org/wiki/SETL
        • SETL提供两种基本的聚合数据类型：无序的集合和序列（后者也称为元组）。集合和元组的元素可以是任意类型，包括集合和元组本身。映射是作为有序对（长度为2的元组）的集合提供的，并且可以具有任意的域和范围类型。SETL中的原始操作包括集合成员资格、联合、交集和幂集构造等。 SETL提供使用一阶谓词逻辑的全称和存在量词构造的量化布尔表达式。 SETL提供了几个 …
        Xem thêm trên zh.wikipedia.org

      • Setl Group — Википедия

        https://ru.wikipedia.org/wiki/Setl_Group
        • Холдинг Setl Group был образован в 1994 году как строительная компания «Петербургская Недвижимость». Позже были открыты новые направления деятельности: риэлторская деятельность на вторичном рынке недвижимости, брокерские операции и консалтинг на рынке строящегося жилья и коммерческой недвижимости, генподрядные раб…
        Xem thêm trên ru.wikipedia.org
        • Расположение: Россия: Санкт-Петербург
        • Ключевые фигуры: Максим Шубарев (председатель совета директоров), Ян Изак (генеральный директор)

      • SETL2 – Wikipédia, a enciclopédia livre

        https://pt.wikipedia.org/wiki/SETL2

        SETL2 é uma linguagem de programação de "altíssimo nível", desenvolvida por W. Kirk Snyder [1], descendente da linguagem de J. T. Schwartz, SETL. [2] É uma linguagem voltada a programação de conjuntos.SETL2 acrescenta a SETL uma sintaxe e um escopo de nome mais próximo das mais recentes linguagens imperativas, estrutura de blocos completa, e procedimentos como …

        • Influenciada por: SETL
        • Estilo de tipagem: dinâmica

      • Settlers Online Wiki

        https://settlersonlinewiki.eu

        Nieoficjalna Wiki Gry The Settlers Online. Ta strona korzysta z plików cookie, aby poprawić wrażenia podczas poruszania się po witrynie.



      Results by Google, Bing, Duck, Youtube, HotaVN