CSCI 2824 Study Guide - Fall 2018, Comprehensive Midterm Notes - Predicate Grammar, First-Order Logic

• School: CU-Boulder
• Department: Computer Science
• Course: CSCI 2824
• Professor: Rachel Cox

Document Summary

Predicate(n) the part of a sentence that expresses what is said about the subject. In the sentence the child threw the ball, the subject is. The child and the predicate is threw the ball. Converting integers and fractions from decimal to binary. Originally, we started using these tools because operating bit-wise makes sense from a computational perspective. But it turns out that binary is also a useful introduction to propositional logic , where propositions take one of two values, How many bits does it take to encode a piece of information? (e. g. , the homework problem about discovering who is leaking pizza secrets) This was our first step into formally thinking like a computer (at least for this class). Computers don"t see any shade of gray - that bit is either a 0 or a 1 - it"s either true or false. And so, using propositional logic, we were able to construct propositional statements and assess their truth values.