Histoire de l’informatique, du numérique et des technologies de l’information

Thema UBB

42 tuit · page 2/2
Computers – David Pye’s 1985 Christmas Lectures 6/6
Sciences formelles & physiques Informatique & Cybersécurité
FR

Computers – David Pye’s 1985 Christmas Lectures 6/6

Ordinateurs – Conférences de Noël de David Pye en 1985 6/6

David Pye
58 min
★ ★ ★ ★ ☆ 4/5
Histoire De L'informatiqueOrdinateursTransistors
The pre-history of automated reasoning
Sciences humaines, sociales & pensée Informatique & Cybersécurité
FR

The pre-history of automated reasoning

La préhistoire du raisonnement automatisé

Richard Zach
129 min
★ ★ ★ ★ ☆ 4/5
Histoire De La LogiqueDémonstration AutomatiqueThéorème De Herbrand