Logic Books
Understanding Semantics, 2nd edition
Author: Sebastian Löbner
School: Federal University, Oye-Ekiti
Department: Arts and Humanities
Course Code: ELS101
Topics: Semantics, ambiguity, predication, verbs, logic, language comparison, cognition, formal semantics, sentence meaning, compositionality, descriptive meaning, connotations, lexemes, lexical ambiguity, compositional ambiguity, contextual ambiguity, deixis, determination, presuppositions, predication, verbs, nouns, adjectives, predicate logic notation, thematic roles, verbs, argument structure diatheses, aspect tense, logical basis, logical relations, sentential logic, meaning relations, synonymy, hyponymy, oppositions, lexical fields, meaning components, semantic features, semantic formulae, semantic primes, Barsalou frames, Japanese numerals
Lecture Notes on Legal Method I
Author: Kenneth Ikechukwu Ajibo
School: Godfrey Okoye University
Department: Law
Course Code: JIL111
Topics: Legal Method, Law, Theories of Law, Schools of Law, Aspect of Law, Types of Law, Classifications of Law, Legal Reasoning, Judicial Precedent, Functions of Law, Law and Order, Law and Justice, Law and Freedom, Law and State, Law and Legitimacy, Law and Sovereignty, Law and Morality, Law and Human Rights, Democracy, Constitution, Constitutionalism, Rule of Law, Theories of Law, Positivist School, Pure theory of Law, Natural Law School, Historical Law School, Sociological Law School, Utilitarian School, Functional School, Realist School, Eternal Law, Divine law, Natural law, Human law, Positive law, Primary Law, Secondary Law, Conflicts of Laws, Private International Law, Social Control, Penal Techniques, Criminal Justice, Grievance, Remedial Techniques, Civil Justice, Private Arranging Technique, Constitutive Technique, Administrative Regulatory Technique, Taxation, Fiscal Technique, Financial measures, Public Benefit Conferral Technique, Legal Reasoning, Language of Law, Legal Rhetoric, Syllogism, Deductive Logic, Legal Logic, Inductive Logic
digital Electronics-Principles,Devices and applications
Author: Anil Maini
School: Federal University of Technology, Owerri
Department: Science and Technology
Course Code: EEE202, CPT111
Topics: Number system, binary codes, digital arithmetic, logic gates, logic families, Boolean Algebra, Arithmetic Circuits, Multiplexers, Demultiplexers, Programmable Logic Devices, Flip-Flops, Counters, Register
Introduction to Artificial Intelligence, 2nd edition
Author: Wolfgang Ertel
School: University of Ilorin
Department: Science and Technology
Course Code: CSC326, CSC417, HIM203, ICS422
Topics: propositional logic, first-order predicate logic, limitations of logic, PROLOG, search, games, problem solving, reasoning with uncertainty, machine learning, data mining, neural networks, reinforcement learning
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
Author: Infomas
School: Federal University of Technology, Minna
Department: Science and Technology
Course Code: CPT214
Topics: Boolean algebra, boolean function, logic gate, combination circuits, minimization of gates, algebraic simplfication, Karnaugh maps, programmable logic array, memory system, memory devices, cache, memory, Mapping, input module, output module, programmed input, programmed output, interrupt-driven input, direct memory access, instruction set, data type, PIPELINING DESIGN TECHNIQUES, Instruction-Level Parallelism
A Course In Electronics Electrical Measurements And Instrumentation, 4th edition
Author: JB Gupta, AK Sawhney
School: Federal University of Agriculture, Abeokuta
Department: Engineering
Course Code: ELE201
Topics: Measurements, Measurement Systems, error, Units, Dimensions, Electrical Circuit Components, Resistors, Inductors, Capacitors, Galvanometers, Analog Ammeter, Voltmeter, power measurement, Wattmeter, energy measurement, Energy Meters, Potentiometers, Inductance, resistance, Capacitance, Cable Faults localization, Magnetic Measurements, High Voltage Measurements, Optoelectronic Measurements, Electronic Instruments, High Frequency Measurements, Cathode Ray Oscilloscope, Signal Generators, Signal Analyzers, Instrumentation Amplifiers, Nonlinear Circuits, Signal Conditioning, Electrical Wave Filters, Number Systems, Logic Gates, Boolean Algebra, Logic Families, Digital Measurement, digital Instruments, Display Devices, Electronic Recording Devices, Transducers, Data Acquisition Systems, Telemetry, Microprocessor Based Measurements
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
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