Scopul acestei lucrari este prezentarea bazelor logice ale informaticii: logica propozitiilor si logica predicatelor de ordinul I, algebre si functii booleene. Sunt abordate aplicatii ale logicii in matematica, informatica, electronica: formalizarea rationamentului matematic si cotidian, metode de demonstrare a teoremelor, proiectarea circuitelor logice secventiale si combinationale. Prin continutul sau aceasta carte se adreseaza tuturor celor interesati in cunoasterea logicilor clasice si a circuitelor logice, domenii fundamentale in informatica. Pentru specialistii in informatica este oferita o baza teoretica in directia aplicativa de construire a unor sisteme de demonstrare automata utile in matematica, inginerie soft, agenti inteligenti, robotica, limbaje naturale, vedere artificiala.