Bewysteorie: Verskil tussen weergawes
Content deleted Content added
Nuwe bladsy geskep met ''''Bewysteorie''' is 'n majoor aftak van wiskundige logika wat verteenwoordig bewys as formeel wiskundige objek, die fasilitering van hul ana...' |
No edit summary |
||
Lyn 3:
Sommige van die majoor gebied of bewysteorie insluit [[sintaktiese bewysteorie]], [[ordinale analise]], [[bewys logika]], [[omgekeerde wiskunde]], [[bewys mynbou]], [[outomatiese stelling bewys]], en [[bewys kompleksiteit]]. Baie navorsing fokus op aansoeke in [[rekenaarwetenskap]], [[taalkunde]] en [[filosofie]].
==Verwysings==
{{vertaalvanaf
| taalafk = en
| pl = https://en.wikipedia.org/wiki/Proof_theory
}}
[[Kategorie:Wiskundige logika]]
| |||