optional algebra
Смотреть что такое "optional algebra" в других словарях:
Optional Sampling Theorem — Das Optional Sampling Theorem (auch Optional Stopping Theorem) ist eine auf Joseph Doob zurückgehende wahrscheinlichkeitstheoretische Aussage. Eine populäre Version dieses Theorems besagt, dass es bei einem fairen, sich wiederholenden Spiel keine … Deutsch Wikipedia
Relational algebra — Not to be confused with Relation algebra. Relational algebra, an offshoot of first order logic (and of algebra of sets), deals with a set of finitary relations (see also relation (database)) that is closed under certain operators. These operators … Wikipedia
Goodman-Nguyen-van Fraassen algebra — A Goodman Nguyen van Fraassen algebra is a type of conditional event algebra (CEA) that embeds the standard Boolean algebra of unconditional events in a larger algebra which is itself Boolean. The goal (as with all CEAs) is to equate the… … Wikipedia
San Pablo City National High School — Mataas na Paaralang Pambansa ng Lungsod ng San Pablo Location F. Mariño St., Lakeside Park Subdivision, Barangay VI D San Pablo City, Laguna, Philippines Information … Wikipedia
SQL — This article is about the database language. For the airport with IATA code SQL, see San Carlos Airport. SQL Paradigm(s) Multi paradigm Appeared in 1974 Designed by Donald D. Chamberlin Raymond F. Boyce Developer … Wikipedia
Romanian educational system — According to the Law on Education adopted in 1995, the Romanian Educational System is regulated by the Ministry of Education and Research ( Ministerul Educaţiei şi Cercetării MEC ). Each level has its own form of organization and is subject to… … Wikipedia
ACT (examination) — The ACT is a standardized achievement examination for college admissions in the United States produced by ACT, Inc.cite web |url=http://www.act.org/aboutact/history.html |title=About ACT: History |accessdate=October 25 |accessyear=2006 Name… … Wikipedia
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
Ninth grade — is the ninth post kindergarten year of school education in some school systems. The students are 14 to 15 years of age, depending on when their birthday occurs. Depending on the school district, ninth grade is usually the first year of high… … Wikipedia
