Books

Search Books...

Boolean Logic Books

Abstract Algebra

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

Legal Methods 1

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 image

Administration, Social and Management science

Agriculture and Veterinary Medicine image

Agriculture and Veterinary Medicine

Arts and Humanities image

Arts and Humanities

Education image

Education

Engineering image

Engineering

General studies image

General studies

Law image

Law

Medical, Pharmaceutical and Health science image

Medical, Pharmaceutical and Health science

Science and Technology image

Science and Technology