Основы математики
Основы математики Математика возникла из практических потребностей и развивалась на протяжении тысячелетий. Математическая логика стала разделом математики благодаря работам Лейбница, […]
Вики
Mathematical logic
Вики
Теория множеств
Теория множеств Теория множеств — раздел математики, изучающий свойства множеств и их отношения. Основана на работах Г. Кантора, Б. Рассела
Вики
Математическая логика
Математическая логика Логика первого порядка — это формальная система, используемая для изучения математических утверждений. Она включает в себя конечные выражения
Вики
Математическая формула
Математическая формула Математические формулы — книга Джузеппе Пеано, выражающая фундаментальные теоремы математики на символическом языке. Автору помогали другие математики, включая
Вики
Словарь математических символов
Словарь математических символов Статья представляет собой глоссарий математических символов и их значений. Символы включают десятичные цифры, буквы латинского алфавита и
Вики
Логическая эквивалентность
Логическая эквивалентность Логические эквивалентности p и q имеют одинаковое значение истинности в каждой модели. Логическая эквивалентность может быть выражена различными
Вики
Математическое доказательство
Математическое доказательство Математическое доказательство — это процесс установления истинности утверждения с помощью логических аргументов. Доказательства делятся на прямые и косвенные,