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