COMPSCI 171 Midterm: 2012-wq-cs-171-midterm-exam
Document Summary
The exam will begin on the next page. Please, do not turn the page until told. When you are told to begin the exam, please check first to make sure that you have all ten pages, as numbered 1-10 in the bottom-left corner of each page. Please clear your desk entirely, except for pen, pencil, eraser, an optional blank piece of paper (for optional scratch pad use), and an optional water bottle. Chain of inference rule conclusions leading to a desired sentence. Specifies all the sentences in a language that are well formed. Describes a sentence that is true in all models. E stands for a proposition that can be true or false. L the idea that a sentence follows logically from other sentences: (12 pts total, 1 pt each) logic concepts. Model: (5 pts total, -1 for each error, but not negative) alpha-beta pruning. The game tree below illustrates a position reached in the game.
