Here is some information on CS 201: Data Representation, Storage
Management, and C Programming!

CSC 201 introduces a range of fundamental low-level CS topics, providing a
complementary perspective from the high-level views given in CSC 151-152 or
CSC 153.  Topics covered will include conventional Von Neumann
architectures, the internal representation of data, low-level processing
elements, compiling and linking, dynamic memory allocation and
deallocation, use of pointers, and concurrency.

The main textbook on C is "The C Programming Language: Second Edition" by
Brian Kernighan and Dennis Ritchie and published by Prentice Hall.  The
main textbook on program verification is 'The Science of Programming' by
David Gries and published by Springer-Verlag.  Since Gries' book is the
classical textbook on the subject, one might ask, "Why would one ever use
another book?"

The first C program involved computing the charges for a baby sitter, based
on the sitter's starting time in hours and minutes and the sitter's ending
time.  The second C program implemented the Euclidean Algorithm for finding
the Greatest Common Division.  That algorithm proceeds by long
division--keeping track of subsequent remainders.