Logotyp
Unionpedia
Kommunikation
Ladda ned på Google Play
Ny! Ladda ner Unionpedia på din Android™-enhet!
Fri
Snabbare tillgång än webbläsare!
 

Jacques Herbrand

Index Jacques Herbrand

Jacques Herbrand, född 12 februari 1908 i Paris, död 27 juli 1931 i Saint-Christophe-en-Oisans, var en fransk logiker och matematiker.

2 relationer: École normale supérieure, Deduktionsteoremet.

École normale supérieure

300px École normale supérieure, ENS, är en prestigefull fransk grande école förlagd i Paris och dess förorter.

Ny!!: Jacques Herbrand och École normale supérieure · Se mer »

Deduktionsteoremet

Deduktionsteoremet (även kallad "CP-regeln", från engelska: Conditional Proof) är ett metateorem inom satslogiken.

Ny!!: Jacques Herbrand och Deduktionsteoremet · Se mer »

UtgåendeInkommande
Hallå! Vi är på Facebook nu! »