Handbook of Logic and Proof Techniques for Computer Science

Autori

• Steven G. Krantz

Parametri

Pagine

245pagine

Tempo di lettura

9ore

• Computer, IT, programmazione
• Matematica

Maggiori informazioni sul libro

Focusing on the essential role of logic in modern mathematics, this handbook aims to bridge the gap between complex mathematical concepts and those with basic mathematical knowledge. Unlike more specialized texts, it introduces key terminology and ideas in a clear manner, making it accessible to mathematical scientists who may not have a deep background in logic. The work is designed to provide a foundational understanding of modern logic, including contemporary topics, catering specifically to readers seeking to enhance their familiarity with the subject.

Per saperne di più

Lingua: Inglese

Pubblicato: 2002

(Copertina rigida)