登入

跳至 : 概要書目資訊主題

Mathematical logic.

概要

作品:	705 作品在 1 項出版品 1 種語言

書目資訊

Logic Without Gaps or Gluts = How to Solve the Paradoxes Without Sacrificing Classical Logic / by: (書目-語言資料,印刷品)

Chapters from Gödel’s Unfinished Book on Foundational Research in Mathematics by: (書目-語言資料,印刷品)

Wittgenstein's On Certainty: Insight and Method by: (書目-語言資料,印刷品)

Reasoning Web. Declarative Artificial Intelligence = 17th International Summer School 2021, Leuven, Belgium, September 8–15, 2021, Tutorial Lectures / by: (書目-語言資料,印刷品)

On Hilbert's Sixth Problem by: (書目-語言資料,印刷品)

Ein strukturorientierter Aufbau der klassischen Zahlenbereiche = mit Blick auf Ordnungsstrukturen, algebraische und topologische Strukturen / by: (書目-語言資料,印刷品)

R-Calculus, II: Many-Valued Logics by: (書目-語言資料,印刷品)

Verification, Model Checking, and Abstract Interpretation = 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings / by: (書目-語言資料,印刷品)

Logical Foundations of Computer Science = International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings / by: (書目-語言資料,印刷品)

Hiroakira Ono on Substructural Logics by: (書目-語言資料,印刷品)

主題

Mathematical Applications in the Physical Sciences.

Computer communication systems.

Probability and Statistics in Computer Science.

Analysis.

Computation by Abstract Devices.

Differential equations.

Computational Intelligence.

Number theory.

Group theory.

Information and Communication, Circuits.

Technology.

Computer System Implementation.

Astrophysics.

Mathematical models.

Algebra.

History of Mathematical Sciences.

Language and languages—Style.

Health Informatics.

Expert systems (Computer science).

Quantum field theory.

Political Science

Modern Philosophy.

Set Theory.

General Mathematics and Education.

General Algebraic Systems.

Computational complexity.

Mathematical Software.

Research Ethics.

Computational Linguistics.

Software Engineering.

Modern philosophy.

Software Engineering/Programming and Operating Systems.

Quality Control, Reliability, Safety and Risk.

Algebras, Linear.

Business Process Management.

Semantics.

Electrical Engineering.

Business information services.

Computer Science.

Political science & theory.

Mathematical logic.

Functional analysis.

Models and Principles.

Systems Theory, Control.

Pattern recognition.

Humanities and Social Sciences.

Manifolds (Mathematics).

Data Structures and Information Theory.

Data Structures.

Elementary Particles, Quantum Field Theory.

Rings (Algebra).

Science, Humanities and Social Sciences, multidisciplinary.

Philology.

Control, Robotics, Mechatronics.

Culture and Technology.

Metaphysics.

Mathematics—Philosophy.

Calculus.

Java (Computer program language).

Commutative Rings and Algebras.

Mathematics—Study and teaching .

Computer Hardware.

Theoretical Linguistics.

Language and languages—Philosophy.

Special purpose computers.

Database management.

Dynamics.

Category theory (Mathematics).

Applied mathematics.

Order, Lattices, Ordered Algebraic Structures.

Astronomers—Biography.

Mathematics and Computing.

Linear Algebra.

Commutative rings.

Sequences (Mathematics).

Mathematics, general.

Operating Systems.

Mathematics of Computing.

Special Purpose and Application-Based Systems.

Algebra, Homological.

Culture.

Logic.

Philosophy and science.

Information theory.

Computational intelligence.

Professional Computing.

Cognitive Psychology.

Logic design.

Astronomy.

Electrical engineering.

Logic Design.

Sequences, Series, Summability.

Computer arithmetic and logic units.

Database Management.

Language and languages.

Speech processing systems.

Intellectual life—History.

Computer Science, general.

Computers and civilization.

Game theory.

Philosophical Foundations of Physics and Astronomy.

Elementary particles (Physics).

e-Commerce/e-business.

General Logic.

Nuclear energy.

Philosophical Logic.

Numeric Computing.

Medieval philosophy.

Social Science

Computer Applications.

Associative rings.

Performance and Reliability.

Logic, Symbolic and mathematical.

Data Mining and Knowledge Discovery.

Bioinformatics.

Knowledge based Systems.

Popular Science in Physics.

Associative Rings and Algebras.

Computer science.

Mobile computing.

Computer Systems Organization and Communication Networks.

Humanities.

Biotechnology.

Linguistics.

Information Systems and Communication Service.

Cryptology.

Philosophical and Historical Foundations of Science.

Computer Communication Networks.

Mathematical Physics.

Computer networks .

Science—Philosophy.

Dynamical Systems and Ergodic Theory.

Linguistics, general.

Knowledge, Theory of.

Astronautics.

Algebraic Topology.

Physics—Philosophy.

Computer software—Reusability.

Probabilities.

Computer and Information Systems Applications.

Computer Appl. in Social and Behavioral Sciences.

Medieval Philosophy.

Mathematical physics.

Architecture, Computer.

Computers and Education.

Mobile Computing.

Computer software.

Social sciences.

Analysis (Mathematics).

Mathematics Education.

Computer mathematics.

Knowledge representation (Information theory) .

Algorithm Analysis and Problem Complexity.

Linear and Multilinear Algebras, Matrix Theory.

Information Systems Applications (incl. Internet).

Microprogramming .

Logic programming.

Computer Appl. in Administrative Data Processing.

Popular Science in Mathematics.

Discrete Mathematics.

Operating systems (Computers).

Image processing.

Mechatronics.

Control Structures and Microprogramming.

Physical Sciences.

Theory of Computation.

Research—Moral and ethical aspects.

Intellectual History.

Structures and Proofs.

Control engineering.

Numerical analysis.

Software engineering.

Algebraic topology.

Operator theory.

Robotics.

Computability and Recursion Theory.

Computational Biology/Bioinformatics.

Philosophy of Language.

Test-taking skills.

Mathematics.

Health informatics.

Universal algebra.

Ethics.

Set theory.

Education—Data processing.

Applied and Technical Physics.

Operations Management.

Mathematical Applications in Computer Science.

Optical data processing.

Image Processing and Computer Vision.

Mathematical Modeling and Industrial Mathematics.

Computer systems.

Analytic Philosophy.

Epistemology.

Input-output equipment (Computers).

Computer organization.

Information storage and retrieval.

Model Theory.

Artificial Intelligence (incl. Robotics).

Philosophy of mind.

Ergodic theory.

Ordinary Differential Equations.

Arithmetic and logic units, Computer.

Nuclear physics.

Programming languages (Electronic computers).

Pattern Recognition.

Language History.

Life sciences.

Model theory.

Logics and Meanings of Programs.

Computer graphics.

Coding theory.

Applications of Mathematics.

Quantum Computing.

Systems and Data Security.

Probability Theory and Stochastic Processes.

Aerospace engineering.

Philosophy—History.

Partial differential equations.

History of Science.

History and Philosophical Foundations of Physics.

Machine learning.

Measure theory.

Philosophy of Science.

Management of Computing and Information Systems.

Big Data.

Category Theory, Homological Algebra.

Symbolic and Algebraic Manipulation.

Measure and Integration.

Stylistics.

Group Theory and Generalizations.

Statistical physics.

Computational Science and Engineering.

Analysis (Philosophy).

Complex Systems.

Computer logic.

Topology.

Popular Science in Philosophy.

Open source software.

Machine Learning.

Simulation and Modeling.

Fourier analysis.

Computer Graphics.

Big data.

Computer hardware.

Homological algebra.

System theory.

Dynamical systems.

Knowledge Based Systems.

Revision and Exam.

Production management.

Philosophy of Mathematics.

Computer Imaging, Vision, Pattern Recognition and Graphics.

Mathematical and Computational Biology.

Natural Language Processing (NLP).

Phenomenology .

Software Management.

Programming Language.

Science—History.

Reliability.

Game Theory, Economics, Social and Behav. Sciences.

Neural networks (Computer science) .

Engineering Mathematics.

Industrial safety.

Differential geometry.

Discrete Mathematics in Computer Science.

Functional Analysis.

Industrial management.

Programming Languages, Compilers, Interpreters.

Operator Theory.

Game Theory.

The Computing Profession.

Computational Mathematics and Numerical Analysis.

Computational linguistics.

Data structures (Computer science).

Formal Logic.

E-commerce.

Multiagent Systems.

Arithmetic and Logic Structures.

Computer programming.

Recursion theory.

Computer system failures.

Fourier Analysis.

Chinese.

Manifolds and Cell Complexes.

History of Philosophy.

Coding and Information Theory.

Classical and Quantum Gravitation, Relativity Theory.

Computer simulation.

Polynomials.

Functions of real variables.

Computer security.

History.

Quantum Physics.

User Interfaces and Human Computer Interaction.

Application software.

Biomathematics.

Physics.

Pragmatics.

Open Source.

Phenomenology.

Algebraic fields.

History of Computing.

Programming Techniques.

Partial Differential Equations.

Cognitive psychology.

Astronomy, Astrophysics and Cosmology.

Discrete mathematics.

Ontology.

Particle and Nuclear Physics.

Natural language processing (Computer science).

Mathematical Models of Cognitive Processes and Neural Networks.

Computing Milieux.

Ordered algebraic structures.

Theoretical, Mathematical and Computational Physics.

Quantum computers.

Computable functions.

Artificial Intelligence.

Science and Technology Studies.

Computers and Society.

Commutative algebra.

Signal processing.

Nuclear Energy.

System Performance and Evaluation.

Computers, Special purpose.

Syntax.

Mathematical analysis.

Neurosciences.

Quantum physics.

Geometry.

Technology—Sociological aspects.

Algorithms.

Machine theory.

Social conflict

Algebraic geometry.

Aerospace Technology and Astronautics.

Signal, Image and Speech Processing.

Engineering mathematics.

Math Applications in Computer Science.

Logic in AI.

Combinatorics.

Graph theory.

Neuroscience.

Computers.

Physicists—Biography.

Philosophy.

Differential Geometry.

Gravitation.

Computer science—Mathematics.

Mathematical Logic and Formal Languages.

Moral Philosophy.

Matrix theory.

Quality control.

Input/Output and Data Communications.

Field Theory and Polynomials.

Complexity.

Formal Languages and Automata Theory.

Graph Theory.

Mathematics of Algorithmic Complexity.

Proof theory.

Mathematical Logic and Foundations.

Intellectual Studies.

Real Functions.

Biographies of Physicists and Astronomers.

Life Sciences.

Philosophy of Mind.

Data encryption (Computer science).

Data mining.

Algebraic Geometry.

Mathematical Logic in Philosophy.

Artificial intelligence.

Java.

Number Theory.

Management information systems.

User interfaces (Computer systems).

Information Storage and Retrieval.

Business Information Systems.

Philosophy, general.

Mathematical statistics.

Science.

Chinese language.