algebra algebra -- data processing algebra, boolean algebra, homological algebraic functions algebraic logic algorithm analysis and problem complexity algorithme algorithmes algorithms algoritmen ambiguity in science arithmetic arithmétique artificial intelligence artificial intelligence (incl robotics) automatentheorie axiomatic set theory banach-tarski paradox berechenbarkeit béziau, jean-yves, boole, algèbre de c (computer program language) calcul des propositions calcul propositionnel cantor, georg, cardinal numbers church, alonzo, church, alonzo, 1903-1995 cognitive science combinatory logic complexiteit complexité de calcul (informatique) computable functions computation by abstract devices computational complexity computational intelligence computer algorithms computer science computer software computer vision computers conference papers and proceedings conference proceedings constructibility (set theory) constructive mathematics control theory cryptography curry-howard isomorphism data mining data structures (computer science) database management decision making decision trees decomposition (mathematics) descriptive set theory discrete mathematics in computer science domination (graph theory) e-böcker e-böcker electronic book electronic books electronic data processing ensembles approximatifs ensembles flous ensembles, théorie axiomatique des ensembles, théorie des equivalence relations (set theory) erfüllbarkeitsproblem expert systems (computer science) finite model theory first-order logic fonctions calculables forcing (model theory) frege, gottlob, fuzzy logic fuzzy mathematics fuzzy relational calculus fuzzy sets fuzzy systems gödel's theorem gödel numbers gödel's theorem gödel, kurt harmonic analysis history history and philosophy hyperspace image processing and computer vision incompleteness theorems independence (mathematics) induction (mathematics) induktive statistik inferenzstatistik infinite information retrieval information storage and retrieval information storage and retrieval systems information theory information theory in mathematics informatique integrals intelligent control systems intuitionistic mathematics knowledge, theory of kokousjulkaisut konferenspublikationer lambda calculus language and logic large cardinals (mathematics) lattice theory logic logic and set theory logic design logic, symbolic and mathematical logic, symbolic and mathematical -- graphic methods logic, symbolic and mathematical -- philosophy logics and meanings of programs logique floue logique symbolique et mathématique lyapunov stability many-valued logic mathematical logic and formal languages mathematical logic and foundations mathematical statistics mathematical theory mathematics mathematics / applied mathematics / essays mathematics / general mathematics / infinity mathematics / logic mathematics / pre-calculus mathematics / probability & statistics / general mathematics / reference mathematics / set theory mathematics of computing mathematics, other mathematik mathematische logik measure theory modality (logic) model theoretic algebra model theory multivariate analysis negation (logic) neural networks (computer science) nichtklassische logik nonclassical mathematical logic number theory numeric computing operations research parallel programming (computer science) pawlak, zdzisław petri nets philosophie philosophy philosophy (general) philosophy of science physical sciences & mathematics pluralism point set theory polish spaces (mathematics) prise de décision probabilities problems, exercises, etc proof theory propositional calculus quasi-metric spaces reasoning recursion theory recursive functions reductionism relation algebras richter, michael m, rotational motion rough sets science semantics (philosophy) sequential machine theory set theory soft computing spatial systems stelling van church stochastic approximation switching theory symbolic and algebraic manipulation symmetric functions systèmes flous sähkökirjat tense (logic) test de satisfaisabilité textbooks theoretical philosophy theory of computation turing test type theory valued fields väänänen, j wittgenstein, ludwig / bemerkungen über die grundlagen der mathematik