Исчисления предикатов и их применение в логическом умозаключении
Математика

Похожие рефераты

Элементарные сведения о частицах и анти-частицах

Нестандартный анализ

Кривые второго порядка. Квадратичные формы

Большие оптические телескопы будущего

Формулы тригонометрии

Методы решения уравнений, содержащих параметр

Назначение телескопа

Численные методы

Аналитическая геометрия в решении экономических задач

Автоматы с магазинной памятью

Метод прогонки решения систем с трехдиагональными матрицами коэффициентов

Кинематика вращения