אונטולוגיה (בעברית: תורת ההוויה או תורת היש) הוא התחום בפילוסופיה העוסק בטבע של היש, הקיים או המציאות. האונטולוגיה עוסקת בשאלות על הישויות הקיימות בעולם, במאפייניהן, בקשרים ביניהן, במציאות, בקיום ובהנחות היסוד הכלליות ביותר אודות כל אלה. מתוך ויקיפדיה

תורת הגרפים, תורת הדגימה (סטטיסטיקה), תורת הדגימה (עיבוד אותות), תורת ההגה, תורת ההגיון, תורת ההוכחה, תורת ההוכחות, תורת ההומולוגיה, תורת ההוראה, תורת ההחלטות