OnlineWoerterBuecher.de
Internes

Lexikon


proof theory


The branch of logic describing procedures for combining logical statements to show, by a series of truth-preserving transformations, that one statement is a consequence of some other statement or group of statements. (1994-10-31)

In addition suitable contents:
[ = ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ b ] [ bi ] [ br ] [ branch ] [ by ] [ ca ] [ ch ] [ co ] [ com ] [ con ] [ cons ] [ cr ] [ de ] [ du ] [ ed ] [ edu ] [ er ] [ es ] [ fi ] [ file ] [ fo ] [ for ] [ gi ] [ gr ] [ group ] [ h ] [ hat ] [ hr ] [ id ] [ ie ] [ il ] [ in ] [ io ] [ is ] [ Lex ] [ logical ] [ ma ] [ mo ] [ mod ] [ module ] [ na ] [ nc ] [ ne ] [ ng ] [ ni ] [ ns ] [ om ] [ ph ] [ pr ] [ procedure ] [ query ] [ rc ] [ re ] [ ro ] [ ru ] [ sc ] [ se ] [ sh ] [ so ] [ st ] [ state ] [ T ] [ th ] [ to ] [ tr ] [ transformation ] [ up ] [ vi ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (2019 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.189 Seconds, with 17 Database-Queries
Zurück zur Startseite