Preliminary Program
Class Dates: October 9 (Tuesday) - 12 (Friday)
Class Location: National Institute of Aerospace, Hampton, VA
| DAY 2 • Wednesday • October 10 | |||
| Time | Lecture | Instructor | |
|---|---|---|---|
| 8:30 | 9:15 | Predicate Logic Proving | Anthony Narkawicz |
| 9:15 | 9:25 | Break | |
| 9:25 | 10:25 | Exercise Set 4 | |
| 10:25 | 11:10 | Prelude and NASA Libraries | Rick Butler |
| 11:10 | 11:20 | Break | |
| 11:20 | 11:50 | Library Search Capability | Ben Di Vito |
| 11:50 | 1:20 | Lunch | |
| 1:20 | 2:05 | Real Number Proving | César Muñoz |
| 2:05 | 2:10 | Break | |
| 2:10 | 3:10 | Exercise Set 5 | |
| 3:10 | 3:55 | Collection Types | Jeff Maddalon |
| 3:55 | 4:40 | Advanced Type Features | Jeff Maddalon |
| 4:40 | 4:45 | Break | |
| 4:45 | 5:00 | Exercise Set 6 (Part I) | |
NASA Official: César Muñoz
Web Curator: Ray Meyer
+ Contact NASA Langley
+ Contact NASA
Last Updated:
May 14, 2012
