Uplinker bookbb Opublikowano 15 Stycznia Uplinker Zgłoś Opublikowano 15 Stycznia Logic in Computer Science English | 2025 | ISBN: 9819798159 | 488 Pages | PDF EPUB (True) | 32 MB Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and Hoare logic. In addition, it presents proof procedures for classical logics and decision procedures for checking the satisfiability of logical formulas.Download Links This is the hidden content, please Zaloguj się lub Zarejestruj się Cytuj
Rekomendowane odpowiedzi
Dołącz do dyskusji
Możesz dodać zawartość już teraz a zarejestrować się później. Jeśli posiadasz już konto, zaloguj się aby dodać zawartość za jego pomocą.
Uwaga: Twój wpis zanim będzie widoczny, będzie wymagał zatwierdzenia moderatora.