По вашему запросу найдено документов: 52653
Страница 1 из 5266
Математическая логика и теория алгоритмов логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории
Теория алгоритмов : [учебное пособие для студентов математических направлений и специальностей университетов]аксиоматические теории формальные
Теория моделей. Часть1В данном пособии основное внимание уделяется теории моделей языка логики предикатов первого порядка
Введение в математическую логику : учебное пособие : [для студентов математических направлений университетов]аксиоматические теории
Задачи по дискретной математике для контрольных и самостоятельных работ аксиоматические теории, теория алгоритмов. Задания разбиты на четыре части и в начале каждой из них приводятся
Формальный дедуктивный вывод эквивалентности оценочных модальностей добра, пользы и удовольствия в аксиоматической системе эпистемологии из допущения об априорности знания (аксиоматическое определение области, уместной применимости учения Дж. Мура о натуралистических ошибках в этике)аксиоматические теории
Конституция как аксиоматическая системааксиоматические системы
Теория автоматов, языков и вычисленийИзложены основы теории конечных автоматов, формальных языков и грамматик, регулярные выражения
Истинность научных теорий объектов
теоретического уровня это логически доказательные, аксиоматические
теории. Для метатеоретического
Математическая логика и теория алгоритмовФОРМАЛЬНЫЕ ТЕОРИИ
Страница 1 из 5266
Фасеты
Партнеры
Индексация
