Can I read Logică Matematică și Informatică on EtoBox?

Logică Matematică și Informatică by flaviumanica is a document available to read on EtoBox.

What is Logică Matematică și Informatică about?

This document provides an overview of logic and its relationships to mathematics and computer science. It discusses the origins and development of logic from Aristotle to modern times. Key contributors mentioned include Gottfried Leibniz, George Boole, Frege, Cantor, Hilbert, Gödel, Turing, and Moisil. The document outlines the content to be covered in a course on logic, including propositional logic, lattices, predicate calculus, and various systems of logic. It provides context on the applications of logi

Author

flaviumanica

Language

EN