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 beweistheorie 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 combinatorial analysis combinatorial probabilities combinatorial set theory complexiteit complexité de calcul (informatique) computable functions computation by abstract devices computational complexity computational intelligence computer algorithms computer appl in administrative data processing computer science computer software computer vision computers conference papers and proceedings conference proceedings constructive mathematics control theory cryptography curry-howard isomorphism data mining data structures (computer science) database management decision making decomposition (mathematics) dedekind, richard, 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 fonctions calculables forcing (model theory) fourier series frege, gottlob, fuzzy decision making fuzzy logic fuzzy mathematics fuzzy sets fuzzy systems fuzzy systems in medicine gödel's theorem 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) infinite information and communication, circuits information retrieval information storage and retrieval information storage and retrieval systems information systems information systems applications (incl internet) information theory information theory in mathematics informatique integrals intelligent control systems intuitionistic mathematics knowledge, theory of kokousjulkaisut konferenspublikationer lambda calculus language and logic lattice theory logic logic and set theory logic circuits 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 / reference 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) pattern recognition pawlak, zdzisław philosophie philosophy philosophy (general) philosophy of science physical sciences & mathematics pluralism point set theory prise de décision probabilities problems, exercises, etc proof theory propositional calculus ramsey theory reasoning recursion theory recursive functions reductionism relation algebras reverse mathematics richter, michael m, rough sets science sequential machine theory set theory soft computing space and time spatial systems stelling van church stochastic approximation switching theory symbolic and algebraic manipulation symmetric functions systèmes flous sähkökirjat telecommunication systems tense (logic) test de satisfaisabilité textbooks theory of computation type theory valued fields väänänen, j wittgenstein, ludwig / bemerkungen über die grundlagen der mathematik