Topics: computers, computer software, files, programming principles, stages of programming, structured flowchart, pascal character set, identifiers, Numbers, Integer numbers, Real Numbers, string, Datatypes, constant, Paschal syntax diagrams, Integer-type data, Boolean type data, read statement, Readln statement, EOF functions, EOLN functions, WRITE statement, WRITELN statement, arrays, packaged arrays, procedures, functions, invoking functions, recursion, Top-Down analysis, Modular programming, structured coding, top-down analysis

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

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

Topics: Number system, binary codes, digital arithmetic, logic gates, logic families, Boolean Algebra, Arithmetic Circuits, Multiplexers, Demultiplexers, Programmable Logic Devices, Flip-Flops, Counters, Register

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

Topics: Programming Languages, programming environments, Pseudocodes, functional programming, computerizing business records, time sharing, dynamic languages, object-oriented programming, scripting languages, programming hybrid languages, lexical analysis, syntax analysis, parsing problem, recursive descent parsing, variables, datatypes, array types, associative arrays, arithmetic expressions, subprograms, abstract data types, data abstraction, concurrency, exception handling, event handling, functional programming languages, logic programming languages

Topics: Scientific programming, MATLAB, MATLAB Environment Setup, MATLAB Environment, MATLAB Arithmetic Operators, MATLAB Logical Operators, MATLAB’s Command Prompt, MATLAB Syntax, MATLAB variables, MATLAB Commands, MATLAB Operators, Decision Making, Loop Controls, Loop Types, loop, Loop Control Statements, MATLAB Vectors, MATLAB matrix, Matrix Operations, MATLAB Arrays, MATLAB matfun Directory, MATLAB Polynomial Representation, Image Processing

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

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

Topics: artificial intelligence, equational logic programming, equational logic programs, paramodulation