Rezultati pretraživanja
Izgled
Za mogućnosti tražilice pogledajte Pomoć:Tražilica.
Napravite stranicu "Kleena" na ovom wikiju! Pogledajte i druge rezultate pretrage.
- U matematičkoj logici i računarstvu, Kleeneov operator (engl. Kleene star ili Kleene closure) je unarni operator, bilo nad skupom nizova znakova (stringova)...3 KB (1 riječ) - 01:42, 1. siječnja 2022.
- dano neograničeno vrijeme i memoriju. Tezu je prvi predložio Stephen C. Kleene 1943., ali je imenovana po Alonzu Churchu i Alanu Turingu. Nedovršeni članak...2 KB (200 riječi) - 18:46, 2. siječnja 2022.
- Peter Andrews, Martin Davis, Leon Henkin, John George Kemeny, Stephen Kleene, Michael O. Rabin, Joel W. Robbin, Hartley Rogers, Jr, J. Barkley Rosser...4 KB (330 riječi) - 13:27, 12. travnja 2022.
- Te formalizacije obuhvaćale su rekurzivne funkcije Gödel - Herbrand - Kleene iz 1930., 1934. i 1935., lambda računica Crkve Alonza iz 1936., Formulacija...8 KB (772 riječi) - 11:21, 5. veljače 2024.
- radi o izvorniku. Ali Davis naglašava da iskaz dokaza neformalno postoji u Kleene (1952.) na stranici 382. Copeland (2004.) veli da: "Problem je zaustavljanja...3 KB (392 riječi) - 01:39, 20. prosinca 2021.
- aplikaciju funkcije, te rekurziju. Uveli su ga Alonzo Church i Stephen Cole Kleene 1930-ih; Church je koristio lambda račun 1936. za davanje negativnog odgovora...31 KB (3.647 riječi) - 23:23, 5. srpnja 2024.
- (automate) te načine opisa i klasifikacije formalnih jezika. Matematičar Stephen Kleene je 1950-ih opisao ove modele koristeći matematičku notaciju zvanu regularni...32 KB (3.402 riječi) - 17:13, 1. svibnja 2024.
- formalne teorije izračunljivosti, su razvili Alonzo Church i Stephen Cole Kleene. Alan Turing je najčešće smatran ocem suvremenog računarstva, te je postavio...16 KB (2.172 riječi) - 07:01, 25. travnja 2023.
- regularni jezik koji daje regularni izraz 1 * (0 (1 *) 0 (1 *)) *, gdje je "*" Kleene star, npr. 1 * označava bilo koji ne-negativan broj (možda nula) simbola...28 KB (3.347 riječi) - 19:49, 31. prosinca 2021.