Логика методология. Логика научного познания. Логика и методология научного познания. Логика научного познания философия. Логика развития научного знания. Полиномиальная сложность алгоритма. Логические методы. Полиномиальная сложность проверки. Методология программирования