# A report on Computer science, Mathematics and Deductive reasoning

Mathematics is essential in many fields, including natural sciences, engineering, medicine, finance, computer science and social sciences.

- MathematicsComputer science research also often intersects other disciplines, such as cognitive science, linguistics, mathematics, physics, biology, Earth science, statistics, philosophy, and logic.

- Computer scienceProponents of classifying computer science as a mathematical discipline argue that computer programs are physical realizations of mathematical entities and programs can be deductively reasoned through mathematical formal methods.

- Computer scienceThe semantic approach is also referred to as the model-theoretic approach since the branch of mathematics known as model theory is often used to interpret these sentences.

- Deductive reasoningTo allow deductive reasoning, some basic assumptions need to be admitted explicitly as axioms.

- MathematicsBut the subject of deductive reasoning is also pertinent to the computer sciences, for example, in the creation of artificial intelligence.

- Deductive reasoning1 related topic with Alpha

## Logic

0 linksStudy of correct reasoning or good arguments.

Study of correct reasoning or good arguments.

It is often defined in a more narrow sense as the science of deductively valid inferences or of logical truths.

Logic is studied in and applied to various fields, such as philosophy, mathematics, computer science, and linguistics.