Tags
Language
Tags
<<
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4
  1. Home
  2. eBooks & eLearning
  3. Propositional Logic

Introduction to Logic, Second Edition

Posted By: AvaxGenius
Date: 23 Sep 2022 16:31:05
Introduction to Logic, Second Edition

Introduction to Logic, Second Edition by Michael Genesereth
English | PDF(True) | 2013 | 165 Pages | ISBN : 162705247X | 1.67 MB

This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet seen the material. The approach to teaching logic used here emerged from more than 20 years of teaching logic to students at Stanford University and from teaching logic to tens of thousands of others via online courses on the World Wide Web. The approach differs from that taken by other books in logic in two essential ways, one having to do with content, the other with form.
Details

Introduction to Logic

Posted By: AvaxGenius
Date: 23 Sep 2022 16:23:41
Introduction to Logic

Introduction to Logic by Michael Genesereth
English | PDF(True) | 2012 | 167 Pages | ISBN : 1627050051 | 1.43 MB

This book is a gentle but rigorous introduction to formal logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet seen the material. The approach to teaching logic used here emerged from more than 20 years of teaching logic to students at Stanford University and from teaching logic to tens of thousands of others via online courses on the World Wide Web. The approach differs from that taken by other books in logic in two essential ways, one having to do with content, the other with form.
Details

Decision Procedures: An Algorithmic Point of View

Posted By: AvaxGenius
Date: 24 Nov 2021 06:14:20
Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View by Daniel Kroening
English | PDF(True) | 2016 | 369 Pages | ISBN : 3540741046 | 2.4 MB

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry.
Details

Mathematical Logic for Computer Science, Third Edition (Repost)

Posted By: AvaxGenius
Date: 30 Jun 2021 08:28:33
Mathematical Logic for Computer Science, Third Edition (Repost)

Mathematical Logic for Computer Science, Third Edition by Mordechai Ben-Ari
English | PDF,EPUB | 2012 | 351 Pages | ISBN : 1447141288 | 7.6 MB

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.
Details

Logic: Propositional Logic (Quick Study: Academic)

Posted By: roxul
Date: 4 May 2021 16:45:00
Logic: Propositional Logic (Quick Study: Academic)

Logic: Propositional Logic (Quick Study: Academic)
2001 | ISBN: 1572226293, 1423206398 | English | 4 pages | True PDF | 0,48 MB
Details

Rigorous Software Development: An Introduction to Program Verification (Repost)

Posted By: AvaxGenius
Date: 6 Jul 2020 09:23:17
Rigorous Software Development: An Introduction to Program Verification (Repost)

Rigorous Software Development: An Introduction to Program Verification by José Bacelar Almeida
English | PDF | 2011 | 269 Pages | ISBN : 0857290177 | 2.95 MB

The use of mathematical methods in the development of software is essential when reliable systems are sought; in particular they are now strongly recommended by the official norms adopted in the production of critical software.
Details
UPWARDS