2010 02-24 ws gm logic

516 views

Published on

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
516
On SlideShare
0
From Embeds
0
Number of Embeds
11
Actions
Shares
0
Downloads
2
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

2010 02-24 ws gm logic

  1. 1. Βέροια<br />26 Φεβρουαρίου 2010<br />Γ.Μητακίδης<br />Λογική και Web : Μια εισαγωγή<br />
  2. 2. Διαχρονικά<br />Ιωνες , Ελεάτες<br />Αριστοτέλης<br />1879 Frege<br />1850 Boole<br />1895 Cantor<br />1902 Russel<br />1920… Goedel,Tarski ,Church ,Kleene …<br />1970 Colmerauer ,Kowalski…<br />2000… Web : A.I. Renascence !<br />

×