A report on Computer science and Deductive reasoning

Charles Babbage, sometimes referred to as the "father of computing".
Argument terminology
Ada Lovelace published the first algorithm intended for processing on a computer.

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 science

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

- Deductive reasoning
Charles Babbage, sometimes referred to as the "father of computing".

2 related topics with Alpha

Overall
Argument terminology used in logic

Logic

1 links

Study of correct reasoning or good arguments.

Study of correct reasoning or good arguments.

Argument terminology used in logic
Aristotle, 384–322 BCE.
A depiction from the 15th century of the square of opposition, which expresses the fundamental dualities of syllogistic.

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.

3rd century BC Greek mathematician Euclid (holding calipers), as imagined by Raphael in this detail from The School of Athens (1509–1511)

Mathematics

1 links

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

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

3rd century BC Greek mathematician Euclid (holding calipers), as imagined by Raphael in this detail from The School of Athens (1509–1511)
The distribution of prime numbers is a central point of study in number theory. This Ulam spiral serves to illustrate it, hinting, in particular, at the conditional independence between being prime and being a value of certain quadratic polynomials.
The quadratic formula expresses concisely the solutions of all quadratic equations
Rubik's cube: the study of its possible moves is a concrete application of group theory
The Babylonian mathematical tablet Plimpton 322, dated to 1800 BC.
Archimedes used the method of exhaustion, depicted here, to approximate the value of pi.
The numerals used in the Bakhshali manuscript, dated between the 2nd century BC and the 2nd century AD.
A page from al-Khwārizmī's Algebra
Leonardo Fibonacci, the Italian mathematician who introduced the Hindu–Arabic numeral system invented between the 1st and 4th centuries by Indian mathematicians, to the Western World.
Leonhard Euler created and popularized much of the mathematical notation used today.
Carl Friedrich Gauss, known as the prince of mathematicians
The front side of the Fields Medal
Euler's identity, which American physicist Richard Feynman once called "the most remarkable formula in mathematics".

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.