Boolean Logic Books
Author: MAT211
School: University of Ibadan
Department: Science and Technology
Course Code: MAT211
Topics: Abstract Algebra, Binary Operations, sets, logic, Switching Algebras, Orders, Lattice, Boolean Algebra, Mapping, Groups, Homomorphism, Rings, Fields, Mathematical Induction, Divisibility, Euclid’s Algorithm, Congruence, Polynomials, Remainder Theorem, factor theorem, Rational Functions
Introduction to Digital Systems Design
Author: Giuliano Donzellini, Luca Oneto, Domenico Ponta, Davide Anguita
School: University of Ilorin
Department: Engineering
Course Code: ELE342, EEE453, EEE473
Topics: Boolean Algebra, Combinational Logic, Combinational Network Design, Numeral Systems, Binary Arithmetic, sequential networks, flip-flop, Flip-Flop-Based Synchronous Networks, counters, registers, feedback control system, FPGA Design, HDL Design
Author: Olufemi Abifarin, Hauwa Abiri
School: Edo University
Department: Law
Course Code: PUL111
Topics: Legal Methods, features of law, functions of law, objectives of law, theories of law, natural law theory, Positive Theory of Law, Sociological Theory of Law, Historical Theory of Law, Realist Theory of Law, Marxist Theory of Law, common law, equity, civil law, criminal law, public law, private law, substantive law, procedural law, Penal technique, Grievance-Remedial Technique, Private Arranging Technique, Administrative Regulatory Technique, legal reasoning, legal language, Legal Rhetoric, legal profession, legal logic, inductive logic, Legislative drafting, Legislative Process
Introduction to Nigerian Legal method, Second edition
Author: Abiola Sanni
School: University of Lagos
Department: Law
Course Code: LAW101, LAW102
Topics: Legal Method, Features of Law, theories of Law, Positivist School, Pure Theory of Law, Natural Law School, Historical School, Sociological School, Utilitarian School, Functional School, Realist School, evolution of law, dispute settlement, Remedies, order, justice, Formal Justice, Substantive Justice, freedom, Freedom of Contract, Political Freedom, State, Legitimacy, Sovereignty, Consensus Model, Conflict Model, Pluralist Model, Open Model, Marxism, morality, Individual Liberty, Public Morality, Eternal Law, types of law, classification of law, social control, Grievance Remedial Technique, Constitutive Technique, legal reasoning, legal language, Legal Rhetoric, Legal Logic, Syllogism, Deductive Logic, justification, fact finding, dispute resolution, Criminal Procedure, adversarial method, inquisitorial method, Non-adjudicatory method, Reconciliation, Conciliation, Mediation, arbitation, legal reasoning, judicial precedent, Per Incuriam, Obiter Dictum, legal writing
Lecture notes in artificial intelligence
Author: Steffen Hölldobler
School: Edo University
Department: Science and Technology
Course Code: CMP221
Topics: artificial intelligence, equational logic programming, equational logic programs, paramodulation
Analog And Digital Electronics
Author: UA Bakshi, AP Godse
School: Federal University of Technology, Owerri
Department: Engineering
Course Code: ECE316, ECE411
Topics: Analog Electronics, Diode, frequency response, feedback amplifier, oscillators, combinational logic circuits, sequential logic circuits, shift registers, counters, Op-amp applications, operational amplifier, voltage regulator, memories
The Practice of Social Research ,14th edition
Author: Earl Babbie
School: National Open University of Nigeria
Department: Administration, Social and Management science
Course Code: CSS753
Topics: Human Inquiry, Paradigms, Theory, Social Research, Research Design, Conceptualization, Operationalization, Measurement, Indexes, Scales, Typologies, Logic of Sampling, Experiments, Survey Research, Qualitative Field Research, Unobtrusive Research, Evaluation Research, Qualitative Data Analysis, Quantitative Data Analysis, Logic of Multivariate Analysis, Multivariate Analysis, Statistical Analysis, Reading Social Research, Writing Social Research
Java by Dissection, 2nd edition
Author: Charlie McDowell, Ira Pohl
School: Edo University
Department: Science and Technology
Course Code: CSC314
Topics: Java, algorithms, data types, variable declarations, number types, arithmetic expressions, statements, control flow, Boolean expressions, functional abstraction, recursion, arrays, objects, data abstraction, enumeration operation, inheritance, graphical user interface, dynamic data structures, concurrent programming
Engineering a compiler, 2nd edition
Author: Keith Cooper, Linda Torczon
School: Edo University
Department: Science and Technology
Course Code: CSC312
Topics: scanners, regular expression, Top-Down Parsing, parsing, Expressing Syntax, Bottom-Up Parsing, Context-Sensitive Analysis, Intermediate Representations, Procedure Abstraction, code shape, Arithmetic Operators, Boolean operators, relational operators, character strings, procedure calls, Data-Flow Analysis, Iterative Data-Flow Analysis, Interprocedural Analysis, scalar optimizations, code motion, Instruction Scheduling, register allocation, Local Register Allocation, Global Register Allocation
Computer Science and Programming
Author: Ezeani Majesty Ignatius
School: Nnamdi Azikiwe University
Department: Science and Technology
Course Code: CSC101
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
Departments
Administration, Social and Management science
Agriculture and Veterinary Medicine
Arts and Humanities
Education
Engineering
General studies
Law
Medical, Pharmaceutical and Health science
Science and Technology