Warning: Undefined variable $resultados in /home/enciclo/public_html/dictious.com/search.php on line 17
mathematical_logic - Dictious

10 Talált eredmények " mathematical_logic"

mathematical logic

<span class="searchmatch">mathematical</span> <span class="searchmatch">logic</span> (tsz. <span class="searchmatch">mathematical</span> logics) (informatika) matematikai logika A <span class="searchmatch">mathematical</span> <span class="searchmatch">logic</span>, vagyis matematikai logika, a matematika és a logika...


matematikai logika

matematikai következtetések és bizonyítások vizsgálatára. angol: <span class="searchmatch">mathematical</span> <span class="searchmatch">logic</span> (en) francia: logique mathématique (fr) német: mathematische Logik (de)...


mathematical problem

<span class="searchmatch">mathematical</span> problem (tsz. <span class="searchmatch">mathematical</span> problems) (informatika) A <span class="searchmatch">mathematical</span> problem (matematikai probléma) olyan logikusan megfogalmazott kérdés vagy...


discrete mathematics

list of topics in <span class="searchmatch">logic</span> <span class="searchmatch">logic</span> logical operator markov chain <span class="searchmatch">mathematical</span> induction <span class="searchmatch">mathematical</span> <span class="searchmatch">logic</span> <span class="searchmatch">mathematical</span> proof modal <span class="searchmatch">logic</span> modular arithmetic...


George Boole

következtetések formalizálásához. Könyv: Legismertebb műve, a The <span class="searchmatch">Mathematical</span> Analysis of <span class="searchmatch">Logic</span> (1847) és An Investigation of the Laws of Thought (1854), bemutatta...


programming paradigm

of function evaluations, uses evaluation of <span class="searchmatch">mathematical</span> functions and avoids state and mutable data <span class="searchmatch">logic</span> - a desired result is declared as the answer...


Artificial Intelligence: A Modern Approach

historical notes knowledge-based agents the wumpus world <span class="searchmatch">logic</span> propositional <span class="searchmatch">logic</span>: a very simple <span class="searchmatch">logic</span> propositional theorem proving effective propositional...


Dana Scott

Carnegie Mellon University Az oxfordi egyetemen 1972–1981 között a <span class="searchmatch">Mathematical</span> <span class="searchmatch">Logic</span> and Foundations of Computation professzora volt, ahol jelentős hatással...


artificial intelligence

marginal distribution <span class="searchmatch">mathematical</span> <span class="searchmatch">mathematical</span> analysis <span class="searchmatch">mathematical</span> <span class="searchmatch">logic</span> <span class="searchmatch">mathematical</span> model <span class="searchmatch">mathematical</span> optimization <span class="searchmatch">mathematical</span> proof mathematics maze...


mesterséges intelligencia

marginal distribution <span class="searchmatch">mathematical</span> <span class="searchmatch">mathematical</span> analysis <span class="searchmatch">mathematical</span> <span class="searchmatch">logic</span> <span class="searchmatch">mathematical</span> model <span class="searchmatch">mathematical</span> optimization <span class="searchmatch">mathematical</span> proof mathematics maze...