Overview of MATHS

Basic Elements

Introduction: How Mathematics differs from pure logic [ math_10_Intro.html ]

The Standard set of assumptions and notations [ math_11_STANDARD.html ]

Using Numbers to repsent physical dimensions [ math_49_Dimensioned_numbers.html ]

Structures

A mathematical tehory of record structures and data bases [ math_12_Structure.html ] [ math_13_Data_Bases.html ]

Models of dynamic systems [ math_14_Dynamics.html ] [ math_15_Unary_Algebra.html ]

Posets - collections of things that can be partially ordered [ math_21_Order.html ]

Models of graphs, diagrams etc [ math_22_Graphs,_Higraphs,....html ] [ math_23_Flow_Diagrams.html ] [ math_24_Domains.html ] [ math_25_Categories.html ]

Algebras

Algebras with one operator [ math_31_One_Associative_Op.html ] [ math_32_Semigroups.html ] [ math_33_Monoids.html ] [ math_34_Groups.html ]

Algebras with two operators [ math_41_Two_Operators.html ] [ math_42_Numbers.html ] [ math_43_Algebras.html ] [ math_44_Formal_Calculus.html ]

Algebras with More than two operators [ math_45_Three_Operators.html ]

Generative systems

A theory of Objects [ math_5_Object_Theory.html ]

Theories and Practice of Strings etc [ math_61_String_Theories.html ] [ math_62_Strings.html ] [ math_63_Languages.html ] [ math_64_Meta_Macros.html ] [ math_65_Meta_Linguistics.html ] [ math_66_SuperStrings.html ]

Theories of general systems and automata [ math_71_Auto...Systems.html ] [ math_72_Systems_Algebra.html ] [ math_73_Process_algebra.html ] [ math_74_Games.html ] [ math_75_Programs.html ] [ math_76_Concurency.html ]

Higher Order Theories

Theories of Probability, Bags, Fuzzy_sets, etc [ math_81_Probabillity.html ] [ math_82_MultiSets_and_Bags.html ] [ math_83_Fuzzy_Sets.html ] [ math_84_Spectra.html ]

Topology: The theory of space [ math_91_Topology.html ] [ math_92_Metric_Spaces.html ] [ math_93_Graphics.html ] [ math_94_Calculus.html ] [ math_95_Function_Spaces.html ]

. . . . . . . . . ( end of section Overview of MATHS) <<Contents | Index>>