
LOGICA COMPUTAȚIONALĂ
Gloria Cerasela CRIȘAN
Cursul se adresează studenților de la secția de Informatică a Facultății de Științe. Primul capitol prezintă aspecte generale ale logicii umane. Capitolul al doilea descrie construcțiile formale și derivarea în logica propozițională. Capitolul al treilea prezintă logica predicativă. Ultima parte descrie exemple de dezvoltare ale logicii formale (logici multivaloare, teoriile algebrice).
Nr. pag.: 71 ║ Format: A4, alb-negru ║ Anul apariției: 2011 ║ ISBN 978-606-527-161-6
PREȚ: INFORMAȚII LA CERERE