Накупить товаров
в интернет-магазине!
в интернет-магазине!
| Главная | Каталог |
» Каталог
» Книги » Технические и естественные науки » Естественные науки » Физико-математические науки » Математика
Каталог товаров:
 |
Введение в теорию моделей и математическую логику. Математическая логика и основания математики.490 руб
Вплотную к нему подошел Н. Понятие модели возникло в математике еще в девятнадцатом веке. Лобачевский, но в полной мере оно появилось в работах Э. И. Клейна, посвященных непротиворечивости геометрии. Бельтрами и Ф. Естественно возникла идея применения этих достижений в математике. В дальнейшем понятие модели развивается и уточняется в связи с развитием формальных теорий и становится одним из основных понятий семантики символических языков. Видимо, по этой причине алгебра и арифметика явились первыми математическими объектами, где применялись методы математической логики. Формальные системы, изучаемые в математической логике, являются примерами алгебр с частичными операциями, и основные теоремы о формальных системах, основные методы математической логики являются алгебраическими. 2012. Воспроизведено в оригинальной авторской орфографии издания 1967 года (издательство "Наука"). |