Logic for Computer Science Lecture Notes
This lecture note covers introduction, Informal Propositional Logic, The Formal Syntax of Propositional Logic,Functions Defined Recursively on PL, Semantics of Propositional Logic, Logical Connectives, Natural Deduction, Normal Forms and Resolution in Propositional Logic.
Author(s): Alexandru Ioan Cuza University
84 Pages
General computer science Lecture notes
This pdf provides a comprhensive overview about general computer science, provides examples and various related topics. The core of the course delves into the representation and computation with a focus on discrete mathematics. The subsequent section on programming delves into Standard ML, recursion and imperative features and encoding of programs as strings. The course progresses to Boolean algebra and Propositional logic and machineoriented calculi like analytical tableaux and resolution.
Author(s): Michael Kohlhase
179 Pages
This PDF covers the following topics related to Computer Science, Data the raw materialRepresenting information, Putting Computers to WorkAlgorithms, Telling Computers What To DoRepresenting Procedures, Really hard problemsIntractability, Sharing secrets and fighting crimeCryptography, The human face of computingInteracting with computers.
Author(s): Tim Bell, Ian H. Witten, Mike Fellows
243 Pages
Mathematics for Computer Science
This PDF covers the following topics related to Computer Science,Intro to Proofs, Well Ordering Principle, Logical Formulas, Mathematical Data Types, Induction, Recursive Data Types, Infinite Sets, Number Theory, Directed Graphs and Partial Orders, Communication Networks, Simple Graphs, Planar Graphs, Sums and Asymptotics, Cardinality Rules, Generating Functions, Events and Probability Spaces, Conditional Probability, Random Variables, Deviation From the Mean, Random Walks.
Author(s): Eric Lehman, F. Thomson Leighton, Alberty R. Meyer
427 Pages
