Books

Search Books...

Logic Simulation Books

Cambridge IGCSE and O level Computer Science, 2nd Edition

Author: David Watson, Helen Williams

School: International Exams

Department:

Course Code: IGCSE

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

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

Millers Anesthesia ,2-Volume Set

Author: Michael Gropper, Lars Eriksson, Lee Fleisher, Jeanine Wiener-Kronish, Neal Cohen, Kate Leslie

School: University of Ilorin

Department: Medical, Pharmaceutical and Health science

Course Code: ANAESTHESIA

Topics: Modern Anesthetic Practice, Perioperative Medicine, Anesthesia Practice, Patient Simulation, Anesthesia Care, ANESTHETIC PHYSIOLOGY, Consciousness, Memory, Anesthesia, Sleep Medicine, Cerebral Physiology, Anesthetic Drugs, Neuromuscular Physiology, Pharmacology, Inhaled Anesthetics, Inhaled Anesthetic Pharmacokinetics, Pulmonary Pharmacology, Inhaled Anesthetics, Opioids, Nonopioid Pain Medications, Intravenous Drug Delivery Systems, Neuromuscular Blocking Drugs, Neuromuscular Blockade, Local Anesthetics, ANESTHESIA MANAGEMENT, Preoperative Evaluation, Cardiovascular Monitoring, Perioperative Echocardiography, Implantable Cardiac Pulse Generators, Pacemakers, Cardioverter, Defibrillators, Neurologic Monitoring, Monitoring Brain State, Respiratory Monitoring, Perioperative Ischemia, Nephrotoxic Injury, Neuromuscular Monitoring, Airway Management, Spinal Anesthesia, Epidural Anesthesia, Caudal Anesthesia, Peripheral Nerve Blocks, Perioperative Fluid, Electrolyte Therapy, Perioperative Acid-Base Balance, Patient Blood Management, Transfusion Therapy, Coagulation, Palliative Medicine, Thoracic Surgery, Cardiac Surgical Procedures, Cardiac Catherization, Electroconversion, Vascular Surgery, Neurologic Surgery, Neurointerventions, Bariatric Surgery, Organ Transplantation, Organ Procurement, Obstetrics, Fetal Surgery, Fetal Theraphy, Orthopaedic Surgery, Geriatric Anesthesia, Emergency Care, prehospital care, trauma, Anesthesiologist, Ophthalmic Surgery, Otolaryngologic Surgery, Head-Neck Surgery, Robotic Surgery, Ambulatory Surgery, Outpatient Surgery, Non-Operating Room Anesthesia, PEDIATRIC ANESTHESIA, Pediatric Cardiac Surgery, Pediatric Intensive Care, Neonatal Intensive Care, POSTOPERATIVE CARE, Postanesthesia Care Unit, Acute Postoperative Pain, Cognitive Dysfunction, CRITICAL CARE MEDICINE, Critical Care Anesthesiology, Neurocritical Care, Electrical Burns

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

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

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