Foundations of computer science by Olufade Falade Williams Onifade PDF free download

Topics: Discrete mathematics, logic, sets, functions, sequences, matrices, algorithms, Number theory, cryptography, induction, recursion, counting, discrete probability, advanced counting techniques, counting techniques, Linear Recurrence Relations, modelling computation, Finite-State Machines, relations, graphs, trees, boolean algebra, modelling computation, Boolean Functions, Logic Gates, Minimization of Circuits.Tree Traversal, Spanning Trees, Minimum Spanning Trees, Graph Models, Graph Terminology, Graph Isomorphism, Connectivity, Euler path, Hamilton Path, Shortest-Path Problems, Planar Graphs, Graph Coloring, Representing Relations, Equivalence Relations, Probability Theory, Bayes Theorem, variance, Pigeonhole Principle, permutation combination, binomial coefficient, Recursive Algorithms, Program Correctness, Divisibility, Modular Arithmetic, Integer Representations, Set Operations, Cardinality of Sets

Topics: Algorithms, Insertion sort, analyzing Algorithms, designing Algorithms, growth of functions, asymptotic notation, maximum-subarray problem, Strassen’s algorithm, Probabilistic Analysis, Randomized Algorithms, hiring problem, Indicator random variables, Heapsort, heaps, heapsort algorithm, Priority queues, quicksort, Radix sort, Counting sort, Bucket sort, Data Structures, Hash Tables, has function, open addressing, Perfect hashing, Data Structures, sorting order statistics, Binary Search Trees, Red-Black Trees, Augmenting Data Structures, Dynamic Programming, Greedy Algorithms, Amortized Analysis, B-Trees, Fibonacci Heaps, van Emde Boas Trees, Graph Algorithms, Minimum Spanning Trees, Single-Source Shortest Paths, All-Pairs Shortest Path, maximum flow, Multithreaded Algorithms, Matrix Operations, linear programming, polynomials, Number-Theoretic Algorithms, String Matching, Computational Geometry, NP-Completeness, Polynomial time, Approximation Algorithms

Topics: Digital Logic Circuit Analysis, Digital Logic Circuit Design, computing, digital systems, number systems, positional notation, arithmetic, binary arithmetic, octal arithmetic, hexadecimal arithmetic, base conversions, signed number representation, computer codes, numeric codes, error detection codes, correction codes, Boolean algebra, Venn diagram, Duality, switching functions, truth tables, switching circuits, electronic logic gates, combinational circuits, algebraic methods, combinational logic circuits, computer aided design, design cycle, digital circuit modelling, design synthesis, logic simulation, Karnaugh maps, Quine-McCluskey tabular minimization method, Petrick's algorithm, computer aided minimization of switching functions. Modular combinational logic, Decodes, encoders, decoder circuit structures, encoders, multiplexers, demultiplexers, data distributors, adder circuits, comparators, semi custom logic devices, logic array circuits, field-programmable logic arrays, programmable read-only memory, programmable array logic, sequential devices, sequential circuits, memory devices, latches, flip-flops, timing circuits, modular sequential logic shift registers, counters, serial adder unit, serial accumulators, parallel accumulators, multiple-sequence counters, digital fractional rate multipliers, synchronous sequential circuit models, synchronous sequential circuits, registered programmable logic device, programmable gate arrays, sequential circuit design, logic circuit testing, digital logic circuit testing, combinational logic circuit testing, sequential logic circuit testing, electronic slot machine, keyless auto entry system

Topics: Computer Algorithms, pseudocode conventions, recursive algorithms, performance analysis, randomized algorithms, primality testing, elementary data structures, binary search trees, cost amortization, prority queues, sets, graphs, graph representation, merge sort, quick sort, Strassen's matrix multiplication, convex hull, greedy method, knapsack problem, tree vertex splitting, prim's algorithm, dynamic programming, reliability design, backtracking, graph coloring, least cost search, algebraic problems, fast Fourier transform, lower bound theory, comparison trees, ordered searching, Cook's theorem, approximation algorithms, absolute algorithms, polynomial time approximation schemes, mesh algorithms, packet routing, hyper algorithms, PPR routing

Topics: algorithm design, algorithm analysis, Algorithm Efficiency, Algorithm Efficiency analysis, Brute Force, Exhaustive Search, Decrease-and-Conquer, Divide-and-Conquer, Transform-and-Conquer, Space and Time Trade-Offs, Dynamic Programming, Greedy Technique, Iterative Improvement, Algorithm Power, Algorithmic Problem Solving, Nonrecursive Algorithms mathematical analysis, recursive Algorithms mathematical analysis, Selection Sort, Bubble Sort, Sequential Search, Brute-Force String Matching, Closest-Pair Problems, Convex-Hull Problems, depth-First Search, Breadth-First Search, Insertion Sort, Topological Sorting, Variable-Size-Decrease Algorithms, Decrease-by-a-Constant-Factor Algorithms, binary search, Mergesort, quicksort, Binary Tree Traversals, Strassen’s Matrix Multiplication, Gaussian Elimination, presorting, Balanced Search Trees, Heaps, Heapsort, Horner’s Rule, Binary Exponentiation, Problem Reduction, B-Trees, hashing, Knapsack Problem, Optimal Binary Search Trees, Warshall’s Algorithm, Floyd’s Algorithm, Prim’s Algorithm, Kruskal’s Algorithm, Dijkstra’s Algorithm, Huffman Trees, huffman Codes, Simplex Method, Maximum-Flow Problem, Stable Marriage Problem, Lower-Bound Arguments, Decision Trees, Numerical Algorithms, Backtracking, Approximation Algorithms

Topics: Digital Logic Design, Kirchhoff's law, Thevenin's theorem, Norton's theorem, circuit theory, semiconductors, transistors, digital logic, integrated circuits, digital logic gates, logic gates, combinational logic design, logic circuit diagram, truth table, Boolean expression, Boolean Algebra, Karnaugh Maps, Quine-McCluckskey, standard combinational logic circuits, ombinational logic circuits, combinational logic, binary adder, binary subtractor, digital comparator, multiplexer, digital encoder, binary decoder, sequential logic circuit, Flip-Flop, S-R Flip-Flop, JK Flip-Flop, T Flip-Flop, D-type Flip-Flop, registers, counters, computer codes, binary codes, binary-coded decimal, excess-3 code, gray code, error detection, error correction, digital error, parity bit, Hamming codes, Cyclic redundancy check

Topics: Data representation, computer, Number systems, data storage, file compression, Data transmission, error detection, symmetric encryption, asymmetric encryption, Hardware, computer architecture, input devices, output devices, network hardware, software, programming language, translators, internet, digital currency, cyber security, automated systems, robotics, artificial intelligence, Algorithm design, problem solving, program development life cycle, computer systems, computer decomposition, test data, identifying errors in algorithm, writing algorithms, amending algorithms, programming, arrays, file handling, Database, Boolean logic, standard logic gate symbols, logic circuits, logic expression, truth tables, problem statements

Topics: Computing, computer software, machine level representation of data, logic, programming, internet

Topics: computer, generations of computer, computer, computer classes, computing origin, hybrid computer, input devices, output devices, computer storage, arithmetic logic unit, memory, computer software, system software, language translator, application software, data processing, data processing technique, Microsoft windows

Topics: Logic, philosophy, argument, deduction, induction, deductive argument forms, truth, validity, sentential logic, atomic sentences, compound sentences, truth tables, Logical Form, Tautologies, Contradictions, Contingent Sentences, Logical Equivalences, Argument forms, Disjunctive Syllogism, Hypothetical Syllogism, Simplification, Conjunction, Constructive Dilemma, proofs, Sentential Logic Truth Trees, Sentential Logic Truth Tree Method, predicate logic, Predicate Logic Symbolization, Predicate Logic Semantics, Proving Invalidity, Predicate Logic Proofs, Relational Predicate Logic, Predicate Logic Truth Trees, modal logic, Modal Logic Semantics, Syllogistic Logic

Topics: Computer Science, computer Programming, computer, computer networks, number systems, base operations, base complements, Boolean algebra, algorithms, pseudo codes, flowchart, Visual basic programming language, programming language

Topics: discrete mathematics, mathematical logic, functions, proofs, set theory, set operations, axiomatic set theory, real numbers, arithmetic, induction, recursion, summation notation, Asymptotic notation, number theory, graphs, multiplication, exponentiation, binomial coefficients, generating functions, probability theory, random variables, Markov's inequality, probability generating functions, linear algebra, abstract vector spaces, finite fields

Topics: computer structure, computer system, input, output, computer storage, number systems, computer software, problem solving, language programming, BASIC program, JAVA Language programming, computer networking

Topics: Computer Science, computer, computer system, hardware, software, output device, input device, peripheral device, output interface, memory device, handshaking, monitor, printer, RAM, data storage, number system, binary, decimal, computer software, BASIC, QBASIC, pseudocode, flowchart, JAVA, Computer generations

Topics: Computer Science, computer, computer system, hardware, software, output device, input device, peripheral device, output interface, memory device, handshaking, monitor, printer, RAM, data storage, number system, binary, decimal, computer software, BASIC, QBASIC, pseudocode, flowchart, JAVA, Computer generations

Topics: hardware, software, types of computer, input, output, computer monitor, computer storage, history of computer, computer software, problem solving, algorithm, Programming, programming language, BASIC, JAVA, computer networking, networking

Topics: History of Computers, Data, Information, Program, Hardware, Software, Number system, computer organization, digital logic, operating system, computer communication

Topics: Parallel programming, parallel computers, cluster computing, message-passing computing, message-passing programming, parallel programs, Partitioning, synchronous computations, synchronous iteration program, load balancing, Distributed Termination Detection Algorithms, Shared Memory Multiprocessors, Parallel Programming Languages, distributed shared memory, distributed shared memory programming, algorithms, sorting algorithms, numerical algorithms, matrices, image processing, Hough transform, branch-and-bound search, genetic algorithms

Topics: real number system, order relation, natural numbers, countable sets, uncountable sets, bounded sets, limits, Monotone Sequences, Sandwich Theorem, limit theorems, Bolzano-Weierstrass Theorem, Limit Superior, Limit Inferior, Cauchy Sequences, continuity, topological notions, One-sided Continuity, Continuity Theorems, Uniform Continuity, Uniform Continuity Theorems, closed sets, compact sets, continuous maps, differentiability, derivative, Rolle’s Theorem, Mean Value Theorem, L’Hospital’s Rule, Nonnegative Real Numbers series, Integral Test, Comparison Test, Limit Comparison Test, Cauchy’s Root Test, D’Alembert’s Ratio Test, Alternating Series, Absolute Convergence, Conditional Convergence, Riemann Integral, Integration, Uniform convergence, Power Series, Equicontinuity, Arzela-Ascoli Theorem

Topics: Logic, analyzing arguments, informal logic, language, fallacies, classical logic, Categorical Propositions, Categorical Syllogisms, Syllogisms, modern logic, symbolic logic, deduction, Quantification Theory, induction, analogy, causation, causal reasoning, science, probability