Theory Of Computation

 Signal, Inscription, Message, Information, Data

Informatik - Information + Mathematic

But in actuality, there is a very well connection between Informatik and mathematics and informatics and electronics, because we play mostly with bits(0 and 1) in computer science.

What is a SIGNAL?

A signal is a way to communicate. For example, whenever someone speaks then the waves are produced from someone's mouth and touch the ears of the other person.

The change is of a physical quantity such that some information is transferred from one place to another like the change in the medium of air due to voice(Schallenwellen).

Set Theory

A set is a collection of data under some particular rules. 

Algorithm

how much can a person travel in the past and find out what we have to do actually with computer science? How we came to Computer Science from Counting and numbering to Computer science. The Arabic script had the number zero which lead to the concept of an Algorithm(through the script in short how the work can be done in a more compact and precise way)

Let's consider this quadratic equation in this equation what do we do to find a solution of x?

to find roots we generally use the formula:-

if we break the formula into small steps then it would be of the form:- 

the value of b/2 is given to h and further on... This method is used to find a positive solution.

1) Formal Description of the problem
2) Broken into small parts of commands 
3) The 2nd command is connected with the first one so the algorithms every line is connected to the next one. 

4) If there are a fixed number of inputs then there will be a fixed number of outputs. There will be a fixed number of commands. 

The clarity of every Algorithm will be clear with every passing command.

If there is a hard problem whose proof is hard to prove then it is better to break into small pieces and make it in a form of precise algorithms. 

Hoare Logic(Hoare-Kalkül)

In the above algorithm, we wrote a lot of commands. To prove it:- 

1) 

2)

3)

4)

in which c+q was s

Proof with the help of mathematics Calculation:- 

In the programming languages, we use the x = 5 so that the value of 5 goes to the x variable. 

x <=value there can be anything instead of x like any keywords if else... if bool then=>code