Gottfried Leibniz (1 jul 1646 ano – 14 nov 1716 ano)

Descrição:

Made an incredible achievements in symbolic logic: Leibniz’s law (in First-order logic)

Made developments in First-order logic: Leibniz’s Rule (in Mathematics)

These were the significant development in theoretical computer science.

Adicionado na linha do tempo:

Data: