Scopul acestei lucrări este prezentarea bazelor logice ale informaticii: logica propozitiilor si logica predicatelor de ordinul I, algebre si functii booleene. Sunt abordate aplicatii ale logicii în matematică, informatică, electronică: formalizarea rationamentului matematic si cotidian, metode de demonstrare a teoremelor, proiectarea circuitelor logice secventiale si combinationale. Prin continutul său această carte se adresează tuturor celor interesati în cunoasterea logicilor clasice si a circuitelor logice, domenii fundamentale în informatică. Pentru specialistii în informatică este oferită o bază teoretică în directia aplicativă de construire a unor sisteme de demonstrare automată utile în matematică, inginerie soft, agenti inteligenti, robotică, limbaje naturale, vedere artificială