10 les relacions: Cadena de Màrkov, Cota superior asimptòtica, Forma canònica, Haskell Curry, Lògica, Moses Schönfinkel, Paradoxa de Curry, Recursivitat, Teoria de la computabilitat, Tesi de Church-Turing.
Cadena de Màrkov
Un diagrama que representa un procés de Markov de dos estats, amb els estats etiquetats com a ''E'' i ''A''. Cada número representa la probabilitat que el procés de Màrkov canviï d'un estat a un altre, amb la direcció indicada per la fletxa. Per exemple, si el procés de Màrkov està en l'estat ''A'', aleshores la probabilitat que canviï l'estat ''E'' és 0.4, mentre que la probabilitat que romangui en l'estat ''A'' és 0.6. Una cadena de Màrkov, que rep el seu nom del matemàtic rus Andrei Màrkov (1856-1922), és una sèrie d'esdeveniments, en la qual la probabilitat que passi un esdeveniment depèn de l'esdeveniment immediat anterior.
Nou!!: Lògica combinatòria і Cadena de Màrkov · Veure més »
Cota superior asimptòtica
En anàlisi d'algorismes una cota superior asimptòtica és una funció que serveix de cota superior d'una altra funció quan l'argument tendeix a infinit.
Nou!!: Lògica combinatòria і Cota superior asimptòtica · Veure més »
Forma canònica
Normalment, en matemàtiques i ciències de la computació, una forma canònica (sovint denominada forma normal o forma estàndard) d'un objecte matemàtic és una manera convencional de presentar aquest objecte com una expressió algebraica.
Nou!!: Lògica combinatòria і Forma canònica · Veure més »
Haskell Curry
va ser un matemàtic i lògic estatunidenc.
Nou!!: Lògica combinatòria і Haskell Curry · Veure més »
Lògica
Aplicació lògica La lògica és l'estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar.
Nou!!: Lògica combinatòria і Lògica · Veure més »
Moses Schönfinkel
Moissei Eliévitx Xeinfinkel, Моисей Эльевич Шейнфинкель, patronímics opcionals Ильич Ílitx i Исаевич Issàievitx, conegut habitualment amb la versió en alemany del seu nom, Moses Schönfinkel, (4 setembre 1889 Iekaterinoslav (en l'actualitat Dniprò, Ucraïna) - 1942 Moscou), fou un lògic i matemàtic rus d'origen jueu, conegut pel descobriment de la lògica combinatòria.
Nou!!: Lògica combinatòria і Moses Schönfinkel · Veure més »
Paradoxa de Curry
Anomenada així per Haskell Curry, la paradoxa de Curry té lloc en teoria ingènua de conjunts o en lògiques ingènues.
Nou!!: Lògica combinatòria і Paradoxa de Curry · Veure més »
Recursivitat
Publicitat amb la utilització d'una imatge ''recursiva'' La recursivitat és la forma en la qual s'especifica un procés basat en la seva pròpia definició.
Nou!!: Lògica combinatòria і Recursivitat · Veure més »
Teoria de la computabilitat
La teoria de la computabilitat és la part de la computació que estudia els problemes de decisió que poden ser resolts amb un algorisme o equivalentment amb una màquina de Turing.
Nou!!: Lògica combinatòria і Teoria de la computabilitat · Veure més »
Tesi de Church-Turing
La Tesi de Church-Turing, simplificant, es pot enunciar així: "Tot algorisme o procediment efectiu és Turing-computable".
Nou!!: Lògica combinatòria і Tesi de Church-Turing · Veure més »