Logics for Computer Science (PDF)

Name: Logics for Computer Science
Brand: Springer-Verlag GmbH
SKU: 108318239
Price: 120.99 EUR
Availability: OnlineOnly

Classical and Non-Classical (Sprache: Englisch)

Autor: Anita Wasilewska

Schreiben Sie einen Kommentar zu "Logics for Computer Science".

Logics for Computer Science, Anita Wasilewska

Merken

Mehr zum Inhalt Autorenporträt Video

eBook (pdf) 120.99 €

Buch (Gebunden) 131.99 €

sofort als Download lieferbar

Bestellnummer: 108318239

Printausgabe 131.99 €

eBook (pdf) -8% 120.99 €

Download bestellen

Verschenken

Lastschrift, Kreditkarte, Paypal, Rechnung
Kostenloser tolino webreader

Produktdetails

Produktbeschreibung
Autorenporträt
eBook Hilfe
Biblio. Angaben / Produktdetails

Produktinformationen zu „Logics for Computer Science (PDF)“

The theory of computation is based on concepts defined by logicians and mathematicians. Logic plays a fundamental role in computer science, and this book explains the basic theorems, as well as different techniques of proving them in classical and some non-classical logics. Important applications derived from concepts of logic for computer technology include Artificial Intelligence and Software Engineering.

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science contains intuitive introductory chapters explaining the need for logical investigations, motivations for different types of logics and some of their history. They are followed by strict formal approach chapters. All chapters contain many detailed examples explaining each of the introduced notions and definitions, well chosen sets of exercises with carefully written solutions, and sets of homework.

Includes links to the author's companion lecture slides for each chapter: several hundred presentations which summarize the ideas presented in the chapters for ease of comprehension.

Autoren-Porträt von Anita Wasilewska

Professor Anita Wasilewska has been teaching a "logic for computer science" class for many years, using presentation slides for ease of comprehension. She earned her Master Degree in Computer Science and Ph.D. in Mathematics from Warsaw University, where she consequently was a faculty of the Mathematics Department from 1967 to 1983. She came to the United States in 1980 as a visiting Assistant Professor in Mathematics at Wesleyan and Yale Universities in Connecticut, before joining Stony Brook's Department of Computer Science in 1986.
She has also published papers, books, and edited books in many domains ranging from Classical and Non-Classical Logics, Automated Theorem Proving, Formal Languages, Theory of Programs, Foundations of Rough Sets in which she was one of the pioneers, to generalized Fuzzy and Rough sets, and Machine Learning.