登入

跳至 : 概要書目資訊主題

Mathematical Logic and Foundations.

概要

作品:	523 作品在 202 項出版品 202 種語言

書目資訊

Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by: (書目-語言資料,印刷品)

Completeness theory for propositional logics by: (書目-語言資料,印刷品)

Guida alla teoria degli insiemi by: (書目-語言資料,印刷品)

New Developments in Formal Languages and Applications by: (書目-語言資料,印刷品)

Modalities and multimodalities = with the assistance and collaboration of Juliana Bueno-Soler / by: (書目-語言資料,印刷品)

Problems and proofs in numbers and algebra by: (書目-語言資料,印刷品)

Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems / by: (書目-語言資料,印刷品)

Deduction, computation, experiment = exploring the effectiveness of proof / by: (書目-語言資料,印刷品)

Quantifiers, quantifiers, and quantifiers = themes in logic, metaphysics, and language / by: (書目-語言資料,印刷品)

Computational complexity of solving equation systems by: (書目-語言資料,印刷品)

主題

Risk management

Mathematical Applications in the Physical Sciences.

Elementary particles (Physics).

Application software.

Biomathematics.

Composition (Music)

Nonstandard mathematical analysis.

General Logic.

Physics.

Mathematical Modeling and Industrial Mathematics.

Erdos, Paul,

Language Translation and Linguistics.

Computer Appl. in Arts and Humanities.

Inference.

Computer communication systems.

Propositional calculus

Logic programming.

Phenomenology.

Computer systems.

Analysis.

Analytic Philosophy.

Science, Humanities and Social Sciences, multidisciplinary.

Gödel's theorem.

Logic, Symbolic and mathematical

Nuclear energy.

Production management.

Philosophical Logic.

Algebraic fields.

Epistemology.

Musical analysis.

Reasoning.

Philology.

Reasoning

Logic, Modern

Philosophy of Mathematics.

Numeric Computing.

Ramsey theory.

Computation by Abstract Devices.

Mathematical linguistics

Invariants.

Gravitation.

Computer science—Mathematics.

Computer organization.

Mathematical Methods in Physics.

Theism.

Categories (Mathematics)

Medieval philosophy.

Control, Robotics, Mechatronics.

Grammar, Comparative and general

Algebra, Universal.

History of Computing.

Opposition, Theory of.

Logic diagrams.

Mathematical and Computational Biology.

Programming Techniques.

Mathematical Logic and Formal Languages.

Ordered sets.

Moral Philosophy.

Partial Differential Equations.

Contemporary Music.

Theoretical Languages.

Matrix theory.

Lukasiewicz algebras.

Computational Intelligence.

Putnam, Hilary.

Metaphysics.

Rashid, Rushdi.

Engineering.

Quality control.

Discrete Mathematics.

Popular Science in Mathematics.

Associative rings.

Popular Science, general.

Operations Research, Management Science.

Evidence.

Data mining

Mathematics—Philosophy.

Calculus.

Logos (Philosophy)

Number theory.

Quantum logic.

Image processing.

Mathematical and Computational Engineering.

Performance and Reliability.

Phenomenology .

Religion

Cognitive psychology.

Philosophy of mind.

Jongh, Dick de.

Group theory.

Astronomy, Astrophysics and Cosmology.

Programming Language.

Logic puzzles.

Mechatronics.

Science—History.

Lattice theory.

Computer logic

Functional programming (Computer science)

Game theory

Pluralism.

Reliability.

Arithmetic and logic units, Computer.

Logic, Symbolic and mathematical.

Commutative Rings and Algebras.

Dunn, J. Michael,

Discrete mathematics.

Control Structures and Microprogramming.

Nuclear physics.

Natural Language Processing (NLP)

Music.

Mathematics—Study and teaching .

Industrial and Production Engineering.

Information measurement

Programming languages (Electronic computers).

Data Mining and Knowledge Discovery.

Ontology.

Physical Sciences.

Computer System Implementation.

Language History.

Pigozzi, Don,

Theoretical Linguistics.

Life sciences.

Field Theory and Polynomials.

Model theory.

Decision making

Theory of Computation.

Complexity.

Fuzzy logic.

Logics and Meanings of Programs.

Research—Moral and ethical aspects.

Particle and Nuclear Physics.

Computer graphics.

Intellectual History.

Pauli, Wolfgang,

Natural law.

Computer multitasking.

Astrophysics.

Game Theory, Economics, Social and Behav. Sciences.

Computing Methodologies.

Mathematical models.

Avant-garde (Music)

Algebra.

Hydrogeology.

Computable functions

Nature.

Proof theory

Genetic epistemology.

Structures and Proofs.

Neural networks (Computer science) .

Forcing (Model theory)

Popular Science in Physics.

Formal Languages and Automata Theory.

Applications of Mathematics.

Language and languages—Philosophy.

Graph Theory.

Associative Rings and Algebras.

Christian Theology.

Science Education.

Special purpose computers.

Heyting algebras.

Optimization.

Godel numbers.

Economics/Management Science, general.

Quantum Computing.

Operations Research/Decision Theory.

Mathematical Models of Cognitive Processes and Neural Networks.

Cosmology.

Polynomial rings.

German Idealism.

Computer science.

Industrial safety.

Discrete Mathematics in Computer Science.

Turing test.

General Relativity.

Quantum Computing, Information and Physics.

Functional Analysis.

Conceptualism.

Computer Application in Social and Behavioral Sciences.

Type theory.

Ordered algebraic structures.

Curry-Howard isomorphism.

Methodology.

Probability Theory and Stochastic Processes.

Combinatorial set theory.

Semantics (Philosophy)

Topological Groups, Lie Groups.

Physics, general.

Theoretical, Mathematical and Computational Physics.

Category theory (Mathematics).

Continuum mechanics.

Computer Systems Organization and Communication Networks.

Computable functions.

Quantum computers.

History of Mathematical Sciences.

Popular Science.

Mathematics of Algorithmic Complexity.

Artificial Intelligence (incl. Robotics)

Artificial intelligence

Language and languages—Style.

Artificial Intelligence.

Humanities.

Equations

Biotechnology.

Aerospace engineering.

Computer algorithms.

Proof theory.

Calculus of variations.

Programming Languages, Compilers, Interpreters.

Operator Theory.

Belief change.

Order, Lattices, Ordered Algebraic Structures.

Applied mathematics.

Linguistics.

Computer algorithms

Realism.

Game Theory.

Lambda calculus

Noncommutative algebras.

Data Encryption.

Astronomers—Biography.

Philosophy—History.

Language and languages

Leniewski, Stanislaw,

Nonmonotonic reasoning.

Operation Research/Decision Theory.

Partial differential equations.

Inconsistency (Logic)

Physics

Information Systems and Communication Service.

Expert systems (Computer science).

Lie algebras.

Formalization (Philosophy)

Commutative algebra.

Quantum field theory.

Control engineering.

Mathematics and Computing.

Conditionals (Logic)

History of Science.

Wittgenstein, Ludwig,

Philosophical and Historical Foundations of Science.

Music theory

History and Philosophical Foundations of Physics.

Linear Algebra.

Charts, diagrams, etc.

Modern Philosophy.

Set Theory.

Computer Communication Networks.

Software engineering.

Signal processing.

Commutative rings.

Non-Western Philosophy.

Sequences (Mathematics).

General Mathematics and Education.

Philosophers

Mathematical Logic and Foundations.

Computer science

Geometry, Analytic.

Computational Mathematics and Numerical Analysis.

Mathematical Physics.

Nuclear Energy.

Rewriting systems (Computer science)

General Algebraic Systems.

Computational complexity.

Data Structures, Cryptology and Information Theory.

Computational linguistics.

Information storage and retrieval systems

Combinatorial number theory.

Negation (Logic)

Intellectual Studies.

Real Functions.

Algebraic topology.

Axiomatic set theory.

Set theory

Biographies of Physicists and Astronomers.

Mathematics, general.

Linear dependence (Mathematics)

Computer networks .

Predicate calculus

Operating Systems.

Measure theory.

Geometry, Algebraic.

Mathematical and Computational Physics.

Robotics and Automation.

Syntax.

Numerical Analysis.

Relativity.

Computational linguistics

Mathematics of Computing.

Data structures (Computer science).

Philosophy of Science.

Classification

Big Data.

Objectivity.

Mathematical Software.

Life Sciences.

Aesthetics.

Formal Logic.

Cybernetics.

Operator theory.

Special Purpose and Application-Based Systems.

Uncertainty (Information theory)

Algebra, Homological.

Electronic data processing

Mathematical analysis.

Philosophy of Technology.

Category Theory, Homological Algebra.

Soft computing.

Quantum computing.

Smullyan, Raymond M.

Relation algebras.

Computer software

Arithmetic and Logic Structures.

Neurosciences.

Linguistics

Formal methods (Computer science)

Self-organizing systems

Philosophy of Mind.

Symbolic and Algebraic Manipulation.

Research Ethics.

Quantum physics.

Turing, Alan Mathison,

Computational Linguistics.

Gödel, Kurt.

Algebra, Boolean.

Numeracy.

Natural language processing (Computer science)

Measure and Integration.

Computer programming.

Logic.

Petri nets.

Recursion theory.

Stylistics.

Causation.

Philosophy and science.

Quantitative Finance.

Group Theory and Generalizations.

Unsolvability (Mathematical logic)

Science—Philosophy.

Numerical and Computational Methods.

Logic

Robotics.

Cylindric algebras.

Appl.Mathematics/Computational Methods of Engineering.

Machine theory

Choice (Psychology)

Parallel processing (Electronic computers)

Avicenna,

Computability and Recursion Theory.

Software Engineering.

Popular Science in Mathematics/Computer Science/Natural Science/Technology.

Modern philosophy.

Software Engineering/Programming and Operating Systems.

Stochastic processes.

Mathematical ability.

Circuits and Systems.

Lvov-Warsaw school of philosophy.

Hajek, Petr.

Information theory.

Geometry, Projective.

Data structures (Computer science)

Statistical physics.

Algebra, Boolean

Peano, Giuseppe,

Evolutionary Biology.

Linguistics, general.

Integrals, Generalized.

Knowledge, Theory of.

Quality Control, Reliability, Safety and Risk.

Regression analysis.

Algebras, Linear.

K-Theory.

Computational intelligence.

Data mining.

Professional Computing.

Algebraic Geometry.

Cognitive Psychology.

Computer systems

Mathematics

Computational Science and Engineering.

Logic design.

Astronautics.

Mathematical Logic in Philosophy.

Contradiction.

Game Theory/Mathematical Methods.

Quantum theory.

Philosophy of Language.

Geometry.

Statistical Theory and Methods.

Modality (Logic)

Algebraic Topology.

Makinson, David,

Numbers, Ordinal.

Astronomy.

Artificial intelligence.

Analysis (Philosophy).

Fourier Analysis.

Philosophy of Nature.

Electrical engineering.

Physics—Philosophy.

Dirichlet forms.

Logic Design.

Functor theory.

Algorithms.

Computer software—Reusability.

Sequences, Series, Summability.

Semantics.

Probabilities.

Computer arithmetic and logic units.

Computer and Information Systems Applications.

Semantics

Electrical Engineering.

Zermelo, Ernst,

Mathematics.

Computer Appl. in Social and Behavioral Sciences.

Political Theory.

Manifolds and Cell Complexes.

Arbitrary constants.

Cardinal numbers.

Complex Systems.

Intuitionistic mathematics.

Machine theory.

Islamic philosophy.

History of Philosophy.

Algebraic geometry.

Wiener, Norbert,

Combinatorial analysis.

Computational biology.

Medieval Philosophy.

Convex and Discrete Geometry.

Database Management.

Geosciences, general.

Philosophy of Education.

Abduction (Logic)

Universal algebra.

Computer logic.

Aerospace Technology and Astronautics.

Signal, Image and Speech Processing.

Coding and Information Theory.

Classical and Quantum Gravitation, Relativity Theory.

Music

Vector fields.

Approximations and Expansions.

Ethics.

Semiotics

Psycholinguistics and Cognitive Lingusitics.

Constructive mathematics

Mathematical physics.

Business information services.

Computer Science.

Porous materials

Kripke, Saul A.,

Number Theory.

Computer simulation.

Set theory.

Topology.

Econometrics.

God (Christianity)

Algebraic number theory.

Science

Polynomials.

Abstract data types (Computer science)

Engineering mathematics.

Functions of real variables.

Management information systems.

Programming languages (Electronic computers)

Language and languages.

Mathematical logic.

Biology.

Math Applications in Computer Science.

Lambda calculus.

Computers and Education.

Education—Data processing.

Vasiliev, Nikolai,

Applied and Technical Physics.

Brouwer, L. E. J.

Speech processing systems.

Linear operators.

Geotechnical Engineering.

History.

Sparse matrices.

Congruence lattices.

Philosophy

Go?del, Kurt

Functional analysis.

Intellectual life—History.

Point set theory.

Information Storage and Retrieval.

Business Information Systems.

Computer Science, general.

Quantum Physics.

Models and Principles.

Formal languages.

Fuzzy sets.

Systems Theory, Control.

Music and science.

Visualization.

Language and logic.

Thermodynamics.

Fuzzy mathematics.

Computer software.

Computer sceince

Categories (Philosophy)

Mathematicians

Popular Science in Philosophy.

Social sciences.

Prawitz, Dag.

Switching theory.

Analysis (Mathematics).

Logic in AI.

Humanities and Social Sciences.

Philosophy, general.

Constructive mathematics.

Completeness theorem.

Game theory.

Grobner bases.

Operations Management.

Science.

Gentzen, Gerhard.

Mathematical Applications in Computer Science.

Geosciences.

History of Mathematics.

Technical writing

Functions.

Operations Research, Mathematical Programming.

Simulation and Modeling.

Philosophy of Religion.

Fourier analysis.

Computer composition.

Computer Graphics.

Big data.

Pattern formation (Physical sciences)

Philosophical Foundations of Physics and Astronomy.

Mathematics Education.

Automatic theorem proving.

Manifolds (Mathematics).

Computer mathematics.

Mathematical and Computational Engineering Applications.

Economic Theory.

Combinatorics.

Economics/Management Science.

Graph theory.

Homological algebra.

Cooperating objects (Computer systems)

Valued fields.

Neuroscience.

System theory.

Computers.

Law

Algebraic logic.

Dynamical systems.

Physicists—Biography.

Philosophy.

Data Structures and Information Theory.

Algorithm Analysis and Problem Complexity.

Knowledge Based Systems.

Linear and Multilinear Algebras, Matrix Theory.

Mathematical ability

Elementary Particles, Quantum Field Theory.

Integer programming.

Rings (Algebra).