lower sequent

lower sequent
мат. нижняя секвенция

Большой англо-русский и русско-английский словарь. 2001.

Игры ⚽ Поможем написать курсовую

Смотреть что такое "lower sequent" в других словарях:

  • Sequent calculus — In proof theory and mathematical logic, sequent calculus is a family of formal systems sharing a certain style of inference and certain formal properties. The first sequent calculi, systems LK and LJ, were introduced by Gerhard Gentzen in 1934 as …   Wikipedia

  • Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia

  • First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… …   Wikipedia

  • Computers and Information Systems — ▪ 2009 Introduction Smartphone: The New Computer.       The market for the smartphone in reality a handheld computer for Web browsing, e mail, music, and video that was integrated with a cellular telephone continued to grow in 2008. According to… …   Universalium

  • History of logic — Philosophy ( …   Wikipedia

  • Experience point — Level up redirects here. For the BBC television program, see Level Up. An experience point (often abbreviated to Exp or XP) is a unit of measurement used in many role playing games (RPGs) and role playing video games to quantify a player… …   Wikipedia

  • EverQuest — Developer(s) Sony Online Entertainment Publisher(s) Sony Online Entertainment …   Wikipedia

  • junior — Synonyms and related words: adolescent, after, assistant, attendant, baby, cadet, cog, common, commonality, commonalty, consecutive, creature, demeaning, disadvantaged, employee, ensuing, fledgling, flunky, follower, following, freshman, helper,… …   Moby Thesaurus

  • Minisupercomputer — Not to be confused with superminicomputer. Minisupercomputers constituted a short lived class of computers that emerged in the mid 1980s. As scientific computing using vector processors became more popular, the need for lower cost systems that… …   Wikipedia

  • Magical Girl Lyrical Nanoha terminology — Articleissues cleanup = January 2008 copyedit = January 2008 in universe = January 2008 in universe cat = OR = January 2008 citecheck = January 2008This is a glossary of terms from the anime and manga series Magical Girl Lyrical Nanoha , and its… …   Wikipedia

  • second — second1 [sek′ənd] adj. [ME secunde < OFr < L secundus, following, second < sequi, to follow: see SEQUENT] 1. coming next after the first in order of place or time; 2d or 2nd 2. another; other; additional; supplementary [to take a second… …   English World dictionary


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»