Predicate Logic

The following are some notes taken during a lecture. Limitations of Propositional Logic If we have statements of the form: “All Purdue CS students are brilliant.” “Alice is a Purdue CS student.” Does it follow that “Alice is brilliant?” This is not easy to represent in propositional logic.  We need a formalism (logic) that reasons […]

Propositional Logic

The following are some notes taken during a lecture. Propositions A proposition is a declarative sentence that is either true or false Examples: Neil Armstrong was a Purdue Alum. true Purdue Computer Science is in the Silicon Valley. false Purdue won the 2018 NCAA men’s basketball championship. false 1 + 0 = 1 true 0 […]

C / C++ Review

These are random notes in reviewing C/C++. The C Language C language history and purpose Before UNIX, most OS were written in assembly language, tying them to specific instruction set architecture (ISA) An assembly language program is a sequence of ISA instructions C was created by Dennis Ritchie at Bell Labs in 1972 to have […]

Advanced Topics in C#

Some person notes on Advanced Topics programming with C#.   Inheritance vs Composition Inheritance and composition isnt specific to C# but to applies to any Object Oriented Programming language. The Inheritance model allows for “IS-A” relationships. For example, we can have a parent Fruit class and a child Apple class. The child Apple class “IS-A” […]

Fundamentals of Programming

Some of my personal notes and references regarding general programming.   SOLID A collection of principles that outline how software engineers can design and develop code that is easy to read, has flexibility to evolve and therefore easier to maintain. It was first defined by Robert C Martin (Uncle Bob) in his book – Design […]