Logo
Unionpedia
Meddelelse
Nu på Google Play
Ny! Hent Unionpedia på din Android™ enhed!
Installer
Hurtigere adgang end browser!
 

Stephen Cole Kleene

Indeks Stephen Cole Kleene

Stephen Cole Kleene (født 5. januar 1909, død 25. januar 1994) var en amerikansk matematiker, hvis arbejde ved University of Wisconsin-Madison hjalp med til at lægge grunden for den teoretiske datalogi.

5 relationer: Alfred North Whitehead, Church-Turing-tesen, Matematisk logik, Principia Mathematica, Regulært udtryk.

Alfred North Whitehead

Alfred North Whitehead (født 15. februar 1861, død 30. december 1947) var en engelsk matematiker og filosof, som samarbejdede med Bertrand Russell om Principia Mathematica (1910-13).

Ny!!: Stephen Cole Kleene og Alfred North Whitehead · Se mere »

Church-Turing-tesen

Church-Turing-tesen er indenfor beregnelighedsteori en hypotese om computeres opførsel.

Ny!!: Stephen Cole Kleene og Church-Turing-tesen · Se mere »

Matematisk logik

Matematisk logik (også kendt som symbolsk logik) er et felt i matematikken med tæt forbindelse til matematikkens grundlag, datalogi og filosofisk logik.

Ny!!: Stephen Cole Kleene og Matematisk logik · Se mere »

Principia Mathematica

Forsiden af den forkortede udgave af ''Principia Mathematica'' Principia Mathematica er en bog om matematisk logik skrevet af Bertrand Russell og Alfred North Whitehead, udgivet i tre bind i henholdsvis 1910, 1912 og 1913.

Ny!!: Stephen Cole Kleene og Principia Mathematica · Se mere »

Regulært udtryk

Et regulært udtryk (oversat fra engelsk, regular expression, ofte forkortet til regexp eller regex) er en følge af tegn, der definerer et mønster til søgning/matchning.

Ny!!: Stephen Cole Kleene og Regulært udtryk · Se mere »

Omdirigeringer her:

Stephen Cole Kleen, Stephen Kleen, Stephen Kleene.

UdgåendeIndgående
Hej! Vi er på Facebook nu! »