day42 - Final Exam Topics Exclusions as Master subtitle...

Info iconThis preview shows pages 1–5. Sign up to view the full content.

View Full Document Right Arrow Icon
Click to edit Master subtitle style 10/4/11 Final Exam Topics Exclusions as well as Inclusions Material is from 111 on.
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
10/4/11 Dec 2, © UCF (Charles E. 22 Exclusions No explicit Turing Machines to write No explicit FRSs to write No explicit Register Machines to write No Rice-Shapiro (but Rice is definitely in) No explicit S-m-n, recursion or fixed point theorems
Background image of page 2
10/4/11 Dec 2, © UCF (Charles E. 33 Inclusions (Guarantees) Repeat of material from Exam#2 A question about quantification A question about Real-Time and/or Finite Power Property Closure of recursive/re sets A question about K and/or K0 Various re and recursive equivalent definitions A reduction or two; a proof by diagonalization Use of STP/VALUE A question about some simple concepts associated with propositional logic A question about monoids, Post Normal Systems and/or Semi-Thue Systems
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
10/4/11 Dec 2, © UCF (Charles E. 44 Guarantees – More Application of Rice’s Theorem
Background image of page 4
Image of page 5
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/03/2011 for the course COT 5310 taught by Professor Staff during the Spring '08 term at University of Central Florida.

Page1 / 10

day42 - Final Exam Topics Exclusions as Master subtitle...

This preview shows document pages 1 - 5. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online