Enkele onderwerpen uit de theorie der berekenbaarheid

P.R.J. Asveld

    Research output: Book/ReportReportOther research output

    Abstract

    Deze bundel bevat de volgende hoofdstukken: (1) Afsluitingsprincipes van binaire relaties; (2) Relaties tussen formaliseringen van het begrip "berekenbaar" -- enkele voor de hand liggende opmerkingen over Turing-machines; (3) Definities van Turing-machines; (4) $\mu$-recursieve functies gedefinieerd als algoritmen; (5) Volledig symmetrische $nL$-systemen ($n=0,1,2$).
    Original languageUndefined
    Place of PublicationEnschede
    PublisherUniversity of Twente, Department of Applied Mathematics
    Number of pages68
    Publication statusPublished - 1974

    Keywords

    • EWI-3665
    • HMI-SLT: Speech and Language Technology

    Cite this

    Asveld, P. R. J. (1974). Enkele onderwerpen uit de theorie der berekenbaarheid. Enschede: University of Twente, Department of Applied Mathematics.
    Asveld, P.R.J. / Enkele onderwerpen uit de theorie der berekenbaarheid. Enschede : University of Twente, Department of Applied Mathematics, 1974. 68 p.
    @book{dfffefd019624e52b5d1c882cf2dfe21,
    title = "Enkele onderwerpen uit de theorie der berekenbaarheid",
    abstract = "Deze bundel bevat de volgende hoofdstukken: (1) Afsluitingsprincipes van binaire relaties; (2) Relaties tussen formaliseringen van het begrip {"}berekenbaar{"} -- enkele voor de hand liggende opmerkingen over Turing-machines; (3) Definities van Turing-machines; (4) $\mu$-recursieve functies gedefinieerd als algoritmen; (5) Volledig symmetrische $nL$-systemen ($n=0,1,2$).",
    keywords = "EWI-3665, HMI-SLT: Speech and Language Technology",
    author = "P.R.J. Asveld",
    year = "1974",
    language = "Undefined",
    publisher = "University of Twente, Department of Applied Mathematics",

    }

    Asveld, PRJ 1974, Enkele onderwerpen uit de theorie der berekenbaarheid. University of Twente, Department of Applied Mathematics, Enschede.

    Enkele onderwerpen uit de theorie der berekenbaarheid. / Asveld, P.R.J.

    Enschede : University of Twente, Department of Applied Mathematics, 1974. 68 p.

    Research output: Book/ReportReportOther research output

    TY - BOOK

    T1 - Enkele onderwerpen uit de theorie der berekenbaarheid

    AU - Asveld, P.R.J.

    PY - 1974

    Y1 - 1974

    N2 - Deze bundel bevat de volgende hoofdstukken: (1) Afsluitingsprincipes van binaire relaties; (2) Relaties tussen formaliseringen van het begrip "berekenbaar" -- enkele voor de hand liggende opmerkingen over Turing-machines; (3) Definities van Turing-machines; (4) $\mu$-recursieve functies gedefinieerd als algoritmen; (5) Volledig symmetrische $nL$-systemen ($n=0,1,2$).

    AB - Deze bundel bevat de volgende hoofdstukken: (1) Afsluitingsprincipes van binaire relaties; (2) Relaties tussen formaliseringen van het begrip "berekenbaar" -- enkele voor de hand liggende opmerkingen over Turing-machines; (3) Definities van Turing-machines; (4) $\mu$-recursieve functies gedefinieerd als algoritmen; (5) Volledig symmetrische $nL$-systemen ($n=0,1,2$).

    KW - EWI-3665

    KW - HMI-SLT: Speech and Language Technology

    M3 - Report

    BT - Enkele onderwerpen uit de theorie der berekenbaarheid

    PB - University of Twente, Department of Applied Mathematics

    CY - Enschede

    ER -

    Asveld PRJ. Enkele onderwerpen uit de theorie der berekenbaarheid. Enschede: University of Twente, Department of Applied Mathematics, 1974. 68 p.