- Tytuł:
-
The greatest fixed point in iterative programs.
Największy punkt stały w programach iteracyjnych - Autorzy:
- Tokarz, Mateusz
- Słowa kluczowe:
-
Prolog, Liczby porządkowe, Liczba porządkowa Churcha-Kleene'go, Rekurencyjne liczby porządkowe, Logika pierwszego rzędu, Notacja porządkowa Kleene'go, Formuła arytmetyczna, Hierarchia arytmetyczna, Definicje induktywne, Twierdzenie Knastera-Tarskiego, Funkcje rekurencyjne, Relacja dobrze ufundowana, Unifikacja
Prologue, Ordinal numbers, Church-Kleene ordinal, Recursive ordinals, First order logic, Kleene ordinal notation, Arithmetical formula, Arithmetical hierarchy, Inductive definitions, Knaster-Tarski theorem, Recursive functions, Well-founded order, Unification - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Inne