1. Формализация — отображение содержательного знания в знаково-символическом виде.
2. Аксиоматический (греч. ахюта — принятое, бесспорное) метод — принятие ряда утверждений в качестве бесспорных для дальнейшего построения теории на их основе.
3. Анализ (греч. апа1узгв — разложение, расчленение) — разложение целого на составляющие части.
4. Синтез (греч. зупСНезгз — соединение, составление) — обобщение, сведение частей в единое целое.
5. Индукция (лат. тйисйоп — введение) — выведение общего умозаключения из частного.
6. Дедукция (лат. йейиспоп — выведение) — выведение частного умозаключения из общего.
7. Аналогия (греч. апа1о§га — сходство) — выведение заключений об одних свойствах объектов на основе соответствия, сходства их других свойств.