# A report on Computer science and Deductive reasoning

Proponents 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 scienceBut the subject of deductive reasoning is also pertinent to the computer sciences, for example, in the creation of artificial intelligence.

- Deductive reasoning2 related topics with Alpha

## Logic

1 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.

## Mathematics

1 linksArea of knowledge that includes such topics as numbers , formulas and related structures (algebra), shapes and the spaces in which they are contained (geometry), and quantities and their changes (calculus and analysis).

Area of knowledge that includes such topics as numbers , formulas and related structures (algebra), shapes and the spaces in which they are contained (geometry), and quantities and their changes (calculus and analysis).

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

To allow deductive reasoning, some basic assumptions need to be admitted explicitly as axioms.