It is a theory in theoretical computer science, under Discrete mathematics (a section of Mathematics and also of Computer Science).
Είναι μια θεωρία στη θεωρητική επιστήμη των υπολογιστών, με Διακριτά Μαθηματικά (ένα τμήμα των Μαθηματικών καθώς επίσης και της Επιστήμης Υπολογιστών).