|
Roger Maddux
Roger Maddux (born 1948) is an American mathematician specializing in algebraic logic. He completed his B.A. at Pomona College in 1969, and his Ph.D. in mathematics at the University of California, Berkeley in 1978, where he was one of Alfred Tarski's last students. His career has been at Iowa State University, where he fills a joint appointment in computer science and mathematics. Maddux is primarily known for his work in relation algebras and cylindric algebras, and as the inventor of relational bases. Books by Maddux * 1990: (with Clifford H. Bergman & Don L. Pigozzi, editors) ''Algebraic Logic and Universal Algebra in Computer Science'', Lecture Notes in Computer Science #425, Springer books * 2006: ''Relation Algebras'', vol. 150 in ''Studies in Logic and the Foundations of Mathematics''. Elsevier Science Notes External links Maddux home pageat the Iowa State University Iowa State University of Science and Technology (Iowa State University, Iowa State, or ISU) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History One of the earliest known mathematicians were Thales of Miletus (c. 624–c.546 BC); he has been hailed as the first true mathematician and the first known individual to whom a mathematical discovery has been attributed. He is credited with the first use of deductive reasoning applied to geometry, by deriving four corollaries to Thales' Theorem. The number of known mathematicians grew when Pythagoras of Samos (c. 582–c. 507 BC) established the Pythagorean School, whose doctrine it was that mathematics ruled the universe and whose motto was "All is number". It was the Pythagoreans who coined the term "mathematics", and with whom the study of mathematics for its own sake begins. The first woman mathematician recorded by history was Hypati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Relational Base
Relational may refer to: Business * Relational capital, the value inherent in a company's relationships with its customers, vendors, and other important constituencies * Relational contract, a contract whose effect is based upon a relationship of trust between the parties * Relational goods, goods that cannot be enjoyed alone * Relational Investors, an activist investment fund based in San Diego, California Computing * Relational calculus, part of the relational model for databases that provides a declarative way to specify database queries * Relational database, a database that has a collection of tables of data items, all of which is formally described and organized according to the relational model ** Relational classification, the procedure of performing classification in relational databases ** Relational data mining, the data mining technique for relational databases * Relational concept, a set of mathematically defined tuples in tuple relational calculus * Relational model ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1948 Births
Events January * January 1 ** The General Agreement on Tariffs and Trade (GATT) is inaugurated. ** The Constitution of New Jersey (later subject to amendment) goes into effect. ** The railways of Britain are nationalized, to form British Railways. * January 4 – Burma gains its independence from the United Kingdom, becoming an independent republic, named the ''Union of Burma'', with Sao Shwe Thaik as its first President, and U Nu its first Prime Minister. * January 5 ** Warner Brothers shows the first color newsreel (''Tournament of Roses Parade'' and the ''Rose Bowl Game''). ** The first Kinsey Reports, Kinsey Report, ''Sexual Behavior in the Human Male'', is published in the United States. * January 7 – Mantell UFO incident: Kentucky Air National Guard pilot Thomas Mantell crashes while in pursuit of an unidentified flying object. * January 12 – Mahatma Gandhi begins his fast-unto-death in Delhi, to stop communal violence during the Partition of India. * ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Books
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lecture Notes In Computer Science
''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, state-of-the-art surveys, and "hot topics" are increasingly being included. The series is indexed by DBLP. See also *''Monographiae Biologicae'', another monograph series published by Springer Science+Business Media *''Lecture Notes in Physics'' *''Lecture Notes in Mathematics'' *''Electronic Workshops in Computing ''Electronic Workshops in Computing'' (eWiC) is a publication series by the British Computer Society. The series provides free online access for conferences and workshops in the area of computing. For example, the EVA London Conference proceeding ...'', published by the British Computer Society References External links * Publications established in 1973 Computer science books Series of non-fiction books Springer ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Annals Of Pure And Applied Logic
This is a list of scientific, technical and general interest periodicals published by Elsevier or one of its imprints or subsidiary companies. Both printed items and electronic publications are included in this list. A B C D E F G H * ''Heart Rhythm'' * ''Historia Mathematica'' * ''Human Immunology'' I J L M N O P R S T U * '' Ultramicroscopy'' * ''Urology'' V * '' Veterinary Microbiology'' W Z * '' Zeitschrift für Evidenz, Fortbildung und Qualität im Gesundheitswesen'' See also References {{RELX Periodicals Elsevier Elsevier () is a Dutch academic publishing company specializing in scientific, technical, and medical content. Its products include journals such as ''The Lancet'', ''Cell'', the ScienceDirect collection of electronic journals, '' Trends'', th ... ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cylindric Algebra
In mathematics, the notion of cylindric algebra, invented by Alfred Tarski, arises naturally in the algebraization of first-order logic with equality. This is comparable to the role Boolean algebras play for propositional logic. Cylindric algebras are Boolean algebras equipped with additional cylindrification operations that model quantification and equality. They differ from polyadic algebras in that the latter do not model equality. Definition of a cylindric algebra A cylindric algebra of dimension \alpha (where \alpha is any ordinal number) is an algebraic structure (A,+,\cdot,-,0,1,c_\kappa,d_)_ such that (A,+,\cdot,-,0,1) is a Boolean algebra, c_\kappa a unary operator on A for every \kappa (called a ''cylindrification''), and d_ a distinguished element of A for every \kappa and \lambda (called a ''diagonal''), such that the following hold: : (C1) c_\kappa 0=0 : (C2) x\leq c_\kappa x : (C3) c_\kappa(x\cdot c_\kappa y)=c_\kappa x\cdot c_\kappa y : (C4) c_\kappa c_ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Logic
In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics (in the form of classes of algebras that constitute the algebraic semantics for these deductive systems) and connected problems like representation and duality. Well known results like the representation theorem for Boolean algebras and Stone duality fall under the umbrella of classical algebraic logic . Works in the more recent abstract algebraic logic (AAL) focus on the process of algebraization itself, like classifying various forms of algebraizability using the Leibniz operator . Calculus of relations A homogeneous binary relation is found in the power set of ''X'' × ''X'' for some set ''X'', while a heterogeneous relation is found in the power set of ''X'' × ''Y'', where ''X'' ≠ ''Y''. Whether a g ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Relation Algebra
In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra expanded with an involution called converse, a unary operation. The motivating example of a relation algebra is the algebra 2''X''² of all binary relations on a set ''X'', that is, subsets of the cartesian square ''X''2, with ''R''•''S'' interpreted as the usual composition of binary relations ''R'' and ''S'', and with the converse of ''R'' as the converse relation. Relation algebra emerged in the 19th-century work of Augustus De Morgan and Charles Peirce, which culminated in the algebraic logic of Ernst Schröder. The equational form of relation algebra treated here was developed by Alfred Tarski and his students, starting in the 1940s. Tarski and Givant (1987) applied relation algebra to a variable-free treatment of axiomatic set theory, with the implication that mathematics founded on set theory could itself be conducted without variables. Definition A relation algebra is an algebr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical disciplines (including the design and implementation of Computer architecture, hardware and Computer programming, software). Computer science is generally considered an area of research, academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of computational problem, problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing Vulnerability (computing), security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Progr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
