登入

跳至 : 概要書目資訊主題

Mathematical Logic and Foundations.

概要

作品:	537 作品在 216 項出版品 216 種語言

書目資訊

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: (書目-語言資料,印刷品)

主題

Mathematical Applications in the Physical Sciences.

Computer Appl. in Arts and Humanities.

Inference.

Computer communication systems.

Analysis.

Computation by Abstract Devices.

Theism.

Computational Intelligence.

Putnam, Hilary.

Evidence.

Number theory.

Group theory.

Functional programming (Computer science)

Computer System Implementation.

Astrophysics.

Mathematical models.

Algebra.

Proof theory

Science Education.

Polynomial rings.

Methodology.

History of Mathematical Sciences.

Language and languages—Style.

Equations

Computational Complexity.

Operation Research/Decision Theory.

Physics

Expert systems (Computer science).

Quantum field theory.

Conditionals (Logic)

Modern Philosophy.

Set Theory.

Non-Western Philosophy.

General Mathematics and Education.

Geometry, Analytic.

General Algebraic Systems.

Computational complexity.

Language and logic

Predicate calculus

Robotics and Automation.

Mathematical Software.

Computer software

Research Ethics.

Computational Linguistics.

Gödel, Kurt.

Natural language processing (Computer science)

Appl.Mathematics/Computational Methods of Engineering.

Choice (Psychology)

Avicenna,

Software Engineering.

Modern philosophy.

Software Engineering/Programming and Operating Systems.

Quality Control, Reliability, Safety and Risk.

Algebras, Linear.

Game Theory/Mathematical Methods.

Functor theory.

Semantics.

Electrical Engineering.

Arbitrary constants.

Wiener, Norbert,

Computational biology.

Convex and Discrete Geometry.

Business information services.

Computer Science.

Science

Mathematical logic.

Linear operators.

Functional analysis.

Point set theory.

Models and Principles.

Systems Theory, Control.

Music and science.

Visualization.

Switching theory.

Humanities and Social Sciences.

Manifolds (Mathematics).

Mathematical and Computational Engineering Applications.

Valued fields.

Data Structures and Information Theory.

Elementary Particles, Quantum Field Theory.

Rings (Algebra).

Science, Humanities and Social Sciences, multidisciplinary.

Logic, Symbolic and mathematical

Philology.

Control, Robotics, Mechatronics.

Metaphysics.

Engineering.

Mathematics—Philosophy.

Calculus.

Jongh, Dick de.

Logic puzzles.

Lattice theory.

Commutative Rings and Algebras.

Mathematics—Study and teaching .

Theoretical Linguistics.

Avant-garde (Music)

Hydrogeology.

Nature.

Genetic epistemology.

Language and languages—Philosophy.

Special purpose computers.

Cosmology.

Category theory (Mathematics).

Artificial intelligence

Belief change.

Order, Lattices, Ordered Algebraic Structures.

Applied mathematics.

Astronomers—Biography.

Mathematics and Computing.

Linear Algebra.

Commutative rings.

Sequences (Mathematics).

Axiomatic set theory.

Mathematics, general.

Operating Systems.

Mathematics of Computing.

Aesthetics.

Special Purpose and Application-Based Systems.

Uncertainty (Information theory)

Algebra, Homological.

Logic.

Causation.

Philosophy and science.

Cylindric algebras.

Stochastic processes.

Circuits and Systems.

Lvov-Warsaw school of philosophy.

Information theory.

Computational intelligence.

Professional Computing.

Cognitive Psychology.

Logic design.

Quantum theory.

Astronomy.

Electrical engineering.

Logic Design.

Sequences, Series, Summability.

Computer arithmetic and logic units.

Zermelo, Ernst,

Intuitionistic mathematics.

Combinatorial analysis.

Database Management.

Geosciences, general.

Constructive mathematics

Algebraic number theory.

Abstract data types (Computer science)

Language and languages.

Speech processing systems.

Geotechnical Engineering.

Intellectual life—History.

Computer Science, general.

Mathematicians

Game theory.

Operations Research, Mathematical Programming.

Philosophical Foundations of Physics and Astronomy.

Risk management

Elementary particles (Physics).

Composition (Music)

General Logic.

Language Translation and Linguistics.

Nuclear energy.

Philosophical Logic.

Musical analysis.

Numeric Computing.

Ramsey theory.

Invariants.

Categories (Mathematics)

Medieval philosophy.

Grammar, Comparative and general

Associative rings.

Software engineering

Logos (Philosophy)

Mathematical and Computational Engineering.

Performance and Reliability.

Religion

Logic, Symbolic and mathematical.

Music.

Information measurement

Data Mining and Knowledge Discovery.

Pauli, Wolfgang,

Computer multitasking.

Computable functions

Human-computer interaction

Popular Science in Physics.

Associative Rings and Algebras.

German Idealism.

Computer science.

Turing test.

Topological Groups, Lie Groups.

Computer Systems Organization and Communication Networks.

Humanities.

Biotechnology.

Linguistics.

Inconsistency (Logic)

Information Systems and Communication Service.

Philosophical and Historical Foundations of Science.

Computer Communication Networks.

Mathematical Physics.

Information storage and retrieval systems

Computer networks .

Relativity.

Relation algebras.

Formal methods (Computer science)

Turing, Alan Mathison,

Science—Philosophy.

Numerical and Computational Methods.

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

Computer Modelling.

Linguistics, general.

Knowledge, Theory of.

K-Theory.

Computer systems

Astronautics.

Algebraic Topology.

Numbers, Ordinal.

Physics—Philosophy.

Computer software—Reusability.

Probabilities.

Computer and Information Systems Applications.

Computer Appl. in Social and Behavioral Sciences.

Islamic philosophy.

Medieval Philosophy.

Mathematical physics.

Porous materials

Computers and Education.

Congruence lattices.

Computer software.

Social sciences.

Prawitz, Dag.

Analysis (Mathematics).

Completeness theorem.

History of Mathematics.

Mathematics Education.

Computer mathematics.

Law

Algebraic logic.

Algorithm Analysis and Problem Complexity.

Linear and Multilinear Algebras, Matrix Theory.

Integer programming.

Logic programming.

Reasoning

Mathematical Methods in Physics.

Ordered sets.

Contemporary Music.

Rashid, Rushdi.

Discrete Mathematics.

Popular Science in Mathematics.

Data mining

Image processing.

Mechatronics.

Computer logic

Control Structures and Microprogramming.

Physical Sciences.

Pigozzi, Don,

Theory of Computation.

Research—Moral and ethical aspects.

Intellectual History.

Structures and Proofs.

Heyting algebras.

Economics/Management Science, general.

General Relativity.

Conceptualism.

Nonmonotonic reasoning.

Control engineering.

Charts, diagrams, etc.

Software engineering.

Data Structures, Cryptology and Information Theory.

Algebraic topology.

Operator theory.

Electronic data processing

Philosophy of Technology.

Linguistics

Self-organizing systems

Logic

Robotics.

Parallel processing (Electronic computers)

Computability and Recursion Theory.

Mathematical ability.

Hajek, Petr.

Data structures (Computer science)

Computer Application in Administrative Data Processing.

Philosophy of Language.

Semantics

Mathematics.

Cardinal numbers.

Universal algebra.

Ethics.

Semiotics

Kripke, Saul A.,

Set theory.

Econometrics.

Programming languages (Electronic computers)

Education—Data processing.

Applied and Technical Physics.

Fuzzy sets.

Thermodynamics.

Operations Management.

Mathematical Applications in Computer Science.

Pattern formation (Physical sciences)

Mathematical Modeling and Industrial Mathematics.

Computer systems.

Analytic Philosophy.

Epistemology.

Reasoning.

Computer organization.

Opposition, Theory of.

Theoretical Languages.

Lukasiewicz algebras.

Model Theory.

Philosophy of mind.

Arithmetic and logic units, Computer.

Nuclear physics.

Natural Language Processing (NLP)

Programming languages (Electronic computers).

Language History.

Life sciences.

Model theory.

Logics and Meanings of Programs.

Computer graphics.

Forcing (Model theory)

Applications of Mathematics.

Optimization.

Quantum Computing.

Operations Research/Decision Theory.

Probability Theory and Stochastic Processes.

Semantics (Philosophy)

Aerospace engineering.

Computer algorithms

Realism.

Noncommutative algebras.

Philosophy—History.

Leniewski, Stanislaw,

Partial differential equations.

History of Science.

Wittgenstein, Ludwig,

Music theory

History and Philosophical Foundations of Physics.

Grothendieck, A.

Rewriting systems (Computer science)

Linear dependence (Mathematics)

Measure theory.

Mathematical and Computational Physics.

Philosophy of Science.

Big Data.

Cybernetics.

Category Theory, Homological Algebra.

Quantum computing.

Symbolic and Algebraic Manipulation.

Measure and Integration.

Stylistics.

Group Theory and Generalizations.

Unsolvability (Mathematical logic)

Geometry, Projective.

Statistical physics.

Mathematics

Computational Science and Engineering.

Statistical Theory and Methods.

Makinson, David,

Analysis (Philosophy).

Philosophy of Nature.

Complex Systems.

Philosophy of Education.

Computer logic.

Vector fields.

Topology.

Vasiliev, Nikolai,

Philosophy

Formal languages.

Categories (Philosophy)

Popular Science in Philosophy.

Gentzen, Gerhard.

Technical writing

Machine Learning.

Simulation and Modeling.

Fourier analysis.

Computer Graphics.

Big data.

Economics/Management Science.

Homological algebra.

System theory.

Dynamical systems.

Knowledge Based Systems.

Production management.

Logic, Modern

Philosophy of Mathematics.

Logic diagrams.

Mathematical and Computational Biology.

Natural Language Processing (NLP).

Popular Science, general.

Operations Research, Management Science.

Phenomenology .

Programming Language.

Science—History.

Pluralism.

Reliability.

Dunn, J. Michael,

Description logics.

Game Theory, Economics, Social and Behav. Sciences.

Computing Methodologies.

Neural networks (Computer science) .

Godel numbers.

Industrial safety.

Discrete Mathematics in Computer Science.

Functional Analysis.

Curry-Howard isomorphism.

Physics, general.

Calculus of variations.

Programming Languages, Compilers, Interpreters.

Operator Theory.

Game Theory.

Language and languages

Lie algebras.

Computational Mathematics and Numerical Analysis.

Computational linguistics.

Negation (Logic)

Computational linguistics

Data structures (Computer science).

Objectivity.

Formal Logic.

Soft computing.

Arithmetic and Logic Structures.

Algebra, Boolean.

Numeracy.

Computer programming.

Recursion theory.

Machine theory

Contradiction.

Modality (Logic)

Fourier Analysis.

Dirichlet forms.

Political Theory.

Manifolds and Cell Complexes.

History of Philosophy.

Coding and Information Theory.

Classical and Quantum Gravitation, Relativity Theory.

Psycholinguistics and Cognitive Lingusitics.

Computer simulation.

God (Christianity)

Polynomials.

Functions of real variables.

Brouwer, L. E. J.

History.

Go?del, Kurt

Quantum Physics.

Fuzzy mathematics.

Computer sceince

Geosciences.

Functions.

Computer composition.

Application software.

Biomathematics.

Nonstandard mathematical analysis.

Physics.

Erdos, Paul,

Phenomenology.

Gödel's theorem.

Algebraic fields.

Mathematical linguistics

Algebra, Universal.

History of Computing.

Programming Techniques.

Partial Differential Equations.

Quantum logic.

Cognitive psychology.

Astronomy, Astrophysics and Cosmology.

Discrete mathematics.

Industrial and Production Engineering.

Ontology.

Fuzzy logic.

Cognitive science

Particle and Nuclear Physics.

Design and Analysis of Algorithms.

Mathematical Models of Cognitive Processes and Neural Networks.

Computer Application in Social and Behavioral Sciences.

Type theory.

Ordered algebraic structures.

Theoretical, Mathematical and Computational Physics.

Computable functions.

Quantum computers.

Artificial Intelligence (incl. Robotics)

Artificial Intelligence.

Lambda calculus

Data Encryption.

Commutative algebra.

Signal processing.

Computer science

Nuclear Energy.

Combinatorial number theory.

Set theory

Syntax.

Formal Reasoning.

Relevance logic.

Classification

Mathematical analysis.

Neurosciences.

Quantum physics.

Quantitative Finance.

Regression analysis.

Geometry.

Algorithms.

Machine theory.

Algebraic geometry.

Abduction (Logic)

Aerospace Technology and Astronautics.

Signal, Image and Speech Processing.

Approximations and Expansions.

Engineering mathematics.

Math Applications in Computer Science.

Sparse matrices.

Language and logic.

Logic in AI.

Constructive mathematics.

Grobner bases.

Philosophy of Religion.

Automatic theorem proving.

Economic Theory.

Combinatorics.

Graph theory.

Cooperating objects (Computer systems)

Neuroscience.

Computers.

Physicists—Biography.

Philosophy.

Mathematical ability

Propositional calculus

Gravitation.

Computer science—Mathematics.

Mathematical Logic and Formal Languages.

Moral Philosophy.

Matrix theory.

Quality control.

Game theory

Field Theory and Polynomials.

Decision making

Complexity.

Natural law.

Formal Languages and Automata Theory.

Graph Theory.

Christian Theology.

Quantum Computing, Information and Physics.

Combinatorial set theory.

Continuum mechanics.

Popular Science.

Mathematics of Algorithmic Complexity.

Computer algorithms.

Proof theory.

Formalization (Philosophy)

Philosophers

Mathematical Logic and Foundations.

Intellectual Studies.

Real Functions.

Biographies of Physicists and Astronomers.

Geometry, Algebraic.

Numerical Analysis.

Life Sciences.

Smullyan, Raymond M.

Philosophy of Mind.

Petri nets.

Algebra, Boolean

Peano, Giuseppe,

Evolutionary Biology.

Integrals, Generalized.

Data mining.

Algebraic Geometry.

Mathematical Logic in Philosophy.

Artificial intelligence.

Music

Number Theory.

Management information systems.

Computer Science Logic and Foundations of Programming.

Biology.

Lambda calculus.

User-centered system design

Information Storage and Retrieval.

Business Information Systems.

Philosophy, general.

Science.