![]() ![]() A symmetry is any way of moving an object onto itself, and the set of all symmetries of an object is its symmetry group. Research In elementary terms, group theory is the theory of symmetry.Math 299 (Transition to Formal Mathematics),Īlso, my daily-quiz system for upper undergrad courses. Math 254H (Honors Multivariable Calculus), Office Phone: 51 Call anytime to see if I'm in. PETER MAGYARĮast Lansing, MI Office: Wells Hall D-326 Egerváry's algorithm (the “Hungarian method”) for the optimum assignment problem.Peter Magyar's Homepage Prof. Applications: the minimum cost integer flow problem, the optimum assignment problem. Integer programming with a totally unimodular coefficient matrix. The branch and bound method for integer programming. Applications: the Ford-Fulkerson theorem for the maximum flow problem the minimum cost flow and the multi-commodity flow problems two-player, zero sum games. Algorithmic complexity of the linear and integer programming problems. The duality theorem of linear programming. The concept of duality in linear programming. Boundedness of the objective function of a linear program. A necessary and sufficient condition for the solvability of systems of linear inequalities: the Farkas-lemma. Solving systems of linear inequalities with the Fourier-Motzkin elimination. Linear algebra revision: fundamental operations on matrices, determinants. Solving IP problems with Microsoft Excel. Using decision variables, incorporating logical constraints. Modeling practical problems as IP instances. Solving LP problems with Microsoft Excel. Modeling practical problems as multivariable LP instances. Graphical solution for two-variable problems. The maximum network flow problem, the Ford-Fulkerson algorithm. Matchings in bipartite graphs, the augmenting path algorithm. Related technologies: decision support systems, rule-based languages. Semantic aspects of Enterprise Application Integration. Declarative technologies and parallel/multi-core computing. Application areas of declarative programming. Major implementations of declarative languages. W14: Declarative and Semantic technologies – an outlook. The underlying reasoning algorithms – a brief overview. W13: Building and using ontologies The Protégé ontology editor, its user interface and services. ![]() Property axioms: subproperties, equivalent and inverse properties. Class axioms: subclasses, equivalence and disjointness. Constructs for building classes: property restriction, intersection, union, complement. A hierarchy of DL languages: AL, ALC, SHIQ, SROIQ and beyond. The main building stones of DLs: concepts and roles. Terminological and assertional knowledge: the TBox and the ABox. The RDF Schema: classes, properties, hierarchies, restrictions. W10: Advanced RDF constructs: reification, containers, collections. The basics of Resource Description Framework (RDF): Uniform Resource Identifiers (URIs), triples, notational variants. A roadmap from the today's internet to the Semantic Web. Basic technologies of the today's web: HTML, XML. Practical applications of the constraint technology – highlights. W8: Reified constraints, domain- and bound-entailment. Labeling options: variable/value selection, direction, user-defined labeling. W7: The CLP(FD) library: arithmetic and membership constraints. The background of finite domain constraint solving: Constraint Satisfaction Problems. Constraint Logic Programming (CLP) – basic principles. W6: An overview of SICStus Prolog libraries. W5: An overview of built-in predicate groups. Transforming an algorithm with mutable variables to Prolog. W4: Efficient programming in Prolog: the cut predicate. ![]() ![]() Basic list handling predicates: append, naïve and efficient reverse, member, select. Execution models for Prolog: goal reduction and procedure-box. W2: Advanced Prolog control constructs: disjunction, negation, if-then-else. Simple Prolog programs: declarative reading and procedural execution. Basic constructs of the Prolog language: clauses, variables, constants. Imperative and declarative programming, a comparison. Semantic and declarative technologies, an overview. W1: Background: propositional and first order logic. ![]()
0 Comments
Leave a Reply. |
Details
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |