Scopul acestui curs este prezentarea bazelor logice ale informaticii: logica propoziţiilor şi logica predicatelor, metode de demonstrarea teoremelor în aceste sisteme logice, algebre şi funcţii booleene. Se face legătura cu aplicaţii ale logicii în informatică: programarea logică, circuite secvenţiale şi combinaţionale. Sunt de asemenea introduse noţiuni de codificarea şi reprezentarea informaţiei în calculator.
- Teacher: Andreea-Diana Pop