<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 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)...
<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...
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...
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...
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...
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...
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...
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...
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...