<span class="searchmatch">calcul</span> <span class="searchmatch">logic</span> n (uncountable) logical calculus...
calcul <span class="searchmatch">logic</span> <span class="searchmatch">calcul</span> statistic calcula calculabil calculat calculator -calculie recalcula <span class="searchmatch">calcul</span> m (plural calculi) (medicine) calculus calculos “<span class="searchmatch">calcul</span>”, in...
second-order <span class="searchmatch">logic</span>, many-sorted <span class="searchmatch">logic</span> or infinitary <span class="searchmatch">logic</span>. (<span class="searchmatch">logic</span>) First-order <span class="searchmatch">logic</span>. first-order <span class="searchmatch">logic</span> second-order <span class="searchmatch">logic</span> many-sorted <span class="searchmatch">logic</span> infinitary <span class="searchmatch">logic</span> monadic...
predicate calculus Wikipedia predicate calculus (uncountable) (<span class="searchmatch">logic</span>) The branch of <span class="searchmatch">logic</span> that deals with quantified statements such as "there exists an...
computātiō. computation f (plural computations) (old) computation Synonym: <span class="searchmatch">calcul</span> “computation”, in Trésor de la langue française informatisé [Digitized Treasury...
expressions. 2009 March 2, John C. Baez with Mike Stay, “Physics, Topology, <span class="searchmatch">Logic</span> and Computation: A Rosetta Stone”, in (Please provide the book title or...
borrowing from Ancient Greek λογισμός (logismós) and semantic loan from French <span class="searchmatch">calcul</span>. IPA(key): /lo.ʝiˈzmos/ Hyphenation: λο‧γι‧σμός λογισμός • (logismós) m...
auditorem esse Platonis (ambiguous) to be ignorant of even the elements of <span class="searchmatch">logic</span>: dialecticis ne imbutum quidem esse (ambiguous) moral science; ethics: philosophia...