Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines to applied disciplines.
Gottfried Wilhelm Leibniz (1646–1716) developed logic in a binary number system and has been called the "founder of computer science".
Ada Lovelace published the first algorithm intended for processing on a computer.
Image: Hamming
Image: Coq plus comm screenshot
In mathematics and computer science, an algorithm is a finite sequence of mathematically rigorous instructions, typically used to solve a class of specific problems or to perform a computation. Algorithms are used as specifications for performing calculations and data processing. More advanced algorithms can use conditionals to divert the code execution through various routes and deduce valid inferences, achieving automation eventually. Using human characteristics as descriptors of machines in metaphorical ways was already practiced by Alan Turing with terms such as "memory", "search" and "stimulus".
Ada Lovelace's diagram from "Note G", the first published computer algorithm