Intro to Logic
| dc.contributor.author | Barland, Ian | en_US |
| dc.contributor.author | Kolaitis, Phokion | en_US |
| dc.contributor.author | Vardi, Moshe | en_US |
| dc.contributor.author | Felleisen, Matthias | en_US |
| dc.contributor.author | Greiner, John | en_US |
| dc.date.accessioned | 2022-05-03T14:32:36Z | en_US |
| dc.date.available | 2022-05-03T14:32:36Z | en_US |
| dc.date.issued | 2010-06-11 | en_US |
| dc.description.abstract | An introduction to reasoning with propositional and first-order logic, with applications to computer science. Part of the TeachLogic Project (www.teachlogic.org). | en_US |
| dc.description.note | This work was created using the Connexions authoring platform. This platform will be retired as of the end of 2021. This work has been migrated to PDF format for continuous access to the educational content, however any embedded links within the text to the legacy platform may no longer be accessible. | en_US |
| dc.digitization.specifications | Content was converted from legacy website (HTML) to accessible (tagged and OCRd) PDF format. | en_US |
| dc.format.extent | 142 pp | en_US |
| dc.identifier.citation | Barland, Ian, Kolaitis, Phokion, Vardi, Moshe, et al.. "Intro to Logic." (2010) Rice University: <a href="https://hdl.handle.net/1911/112211">https://hdl.handle.net/1911/112211</a>. | en_US |
| dc.identifier.digital | col10154-FINAL | en_US |
| dc.identifier.uri | https://hdl.handle.net/1911/112211 | en_US |
| dc.language.iso | eng | en_US |
| dc.publisher | Rice University | en_US |
| dc.rights | This work is licensed under a Creative Commons Attribution License (BY 1.0) | en_US |
| dc.rights.uri | https://creativecommons.org/licenses/by/1.0/ | en_US |
| dc.subject | Science and Technology | en_US |
| dc.subject.keyword | boolean algebra | en_US |
| dc.subject.keyword | first order logic | en_US |
| dc.subject.keyword | inference rule | en_US |
| dc.subject.keyword | interpretation | en_US |
| dc.subject.keyword | logic | en_US |
| dc.subject.keyword | model | en_US |
| dc.subject.keyword | proof | en_US |
| dc.subject.keyword | proposition | en_US |
| dc.subject.keyword | propositional logic | en_US |
| dc.subject.keyword | quantifier | en_US |
| dc.subject.keyword | truth table | en_US |
| dc.title | Intro to Logic | en_US |
| dc.type.dcmi | Text | en_US |
| dc.type.genre | Instructional and educational works | en_US |
| dcterms.accessRights | freely accessible, openly licensed text | en_US |
Files
Original bundle
1 - 1 of 1