Dr. Alan Garvey
Spring 2023		 CS 191 Picture of Dr. Garvey
CS 191 CS 291 CS 480 CS 495

Computer Science 191: Computing Structures

Professor: Dr. Alan Garvey

Section 2: MWF 9:30-10:20am VH 1204

Office Hours

Syllabus

The course syllabus is available online.

Schedule for the rest of the semester

  • 26 April (Wednesday) class meets
  • 28 April (Friday) NO CLASS
  • 1 May (Monday) class meets, take home exam due
  • 3 May (Wednesday) class meets, get exam back discuss final
  • 5 May (Friday) NO CLASS
  • ----------------------
  • 8 May (Monday) Office Hours 9:30-11:15am
  • 9 May (Tuesday Office Hour 8-9am
  • 9 May (Tuesday) Final Exam 9:30am

Books

There is one required textbooks for this class:

  • Discrete Structures, Logic, and Computability by James L. Hein, Fourth Edition, Jones & Bartlett Publishers, 2016.
  • An online Prolog book by Hein will also be helpful:

Prolog Environment

You can install the Prolog environment that we will use in class by going to SWI Prolog. You want the latest Stable release. Versions are available for most computing environments. This software is already installed on the Truman Student image, meaning on pretty much every Windows computer available to students on campus.

Lecture slides

LaTex Information

We will be using LaTex to format homework problems for submission. Here are some online resources to help with that.

  • You can download MikTeX and install MikTeX on your own (Windows) computer. From this page choose Download MikTeX 2.9 from the left menu, then choose what you want to install. MikTeX is installed on all Truman Windows computers.
  • Another way to use LaTeX is Overleaf which is a WYSIWYG editor that lets you type in LaTeX and immediately see the results.
  • Tom Schneider's incredibly complete resource page for biologists has endless help for non-biologists also.
  • A page with lots of LaTeX math symbols is also available. If you can't find the symbol you want on this page, then you probably don't really want that symbol.
  • TeX Resources on the Web
    A comprehensive listing of TeX and LaTeX resources.

    • Exams

    Programming Assignments:

    • There will be one or two Prolog assignments during the semester.
    • Prolog Assignment Assignment date: 22 March 2023 Due Date: 3 April 2023

    Homework Assignments:

    • There will be about ten homework assignments during the semester.
    • LaTeX 0 Lab In class assignment: 25 January 2023, Due 30 January 2023
    • Homework 1 Assigned: 25 January 2023, Due: 6 February 2023
    • Homework 2 Assigned: 6 February 2023, Due: 15 February 2023
    • Homework 3 Assigned: 15 February 2023, Due: 24 February 2023
    • Homework 4 Assigned: 27 February 2023, Due: 8 March 2023
    • Homework 5 Assigned: 8 March 2023, Due: 24 March 2023
    • Homework 6 Assigned: 3 April 2023, Due: 12 April 2023
    • Homework 7 Assigned: 12 April 2023, Due: 21 April 2023