Logic in Computer Science - Liacs
Logic in Computer Science - Liacs
Logic in Computer Science - Liacs
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
The four ages of <strong>Logic</strong><br />
Symbolic logic (500 b.C. – 19 th century)<br />
Algebraic logic (mid – late 19 th century)<br />
Mathematical logic (late 19 th – mid 20 th century)<br />
<strong>Logic</strong> <strong>in</strong> computer science (late 20 th century – )<br />
<strong>Logic</strong> a - Spr<strong>in</strong>g 2011<br />
Slide 11<br />
1/22/2013<br />
11