teorie důkazů (PSH7123) — PSH

CS / EN

teorie důkazů

http://psh.techlib.cz/skos/PSH7123

Anglický ekvivalent

proof theory

Nepreferovaná znění

konstruktivní matematika
složitost důkazu
struktura důkazu

Nadřazené heslo

matematická logika

Podřazená hesla

automatická dedukce
deduktivní systémy

Heslo ve formátu JSON-LD

Hlavní hesla
matematika
matematická logika
teorie důkazů

automatická dedukce
deduktivní systémy

Podrobné výsledky v katalogu NTK

Podrobné výsledky v repozitáři NUŠL

Polytematický strukturovaný heslář vytvořený Národní technickou knihovnou podléhá licenci Creative Commons Uveďte autora-Zachovejte licenci 3.0 Česko.

Chybí Vám v PSH nějaké heslo, máte dotazy, připomínky, či návrhy? Napište nám!