Logica matematică a evoluat de la o ramură exotică a matematicii la un instrument indispensabil în informatică, precum și în alte ramuri ale matematicii. Această carte concisă prezintă subiectul logicii matematice într-un mod viu și accesibil, deși logica poate fi un topic formidabil de abstract, chiar și pentru matematicieni.

A doua ediție a Ce este logica matematică?, publicată inițial acum 50 de ani, tratează idei importante în logica matematică modernă, fără lucrările matematice detaliate necesare celor cu interes profesional în logică. Ideile sunt expuse simplu și clar, într-un stil plăcut și, în ciuda relativăi scurtimi a cărții, tot materialul de bază este acoperit în aceste pagini. Au fost adăugate trei capitole noi, care acoperă demonstrarea automată a teoremelor, logica dincolo de logica tradițională de ordin întâi și alte logici, inclusiv logici intuiționiste, libere și modale.

Studenții la informatică și logică matematică vor găsi această carte o introducere stimulativă și un supliment valoros pentru cursuri, inclusiv sugestii actuale de lecturi suplimentare în acest domeniu dinamic situat la intersecția matematicii, filozofiei și informaticii.

Pagini: 160, Dimensiuni: 16x16cm