 |
|
Реклама на сайте |
|
МОЛОКО ЖИВОТНОЕ.КАТАЛОГ РОССИЙСКИХ ПРЕДПРИЯТИЙ ПО ВЫПУСКАЕМОЙ ПРОДУКЦИИ |
|
|
датчики давления в Москва, рамы лесопильные в Новозыбкове, изделия из полимерных материалов в Центральный федеральный округ, ОАО "Быковский авиаремонтный завод" РЕМОНТ МАШИН И ОБОРУДОВАНИЯ, Производство перевозки пассажиров, ЭЛЕКТРОЭНЕРГЕТИКА в Твери, Производство пиломатериалы в Сибирский федеральный округ, Производство изделия железобетонные в Республике Калмыкия, предприятия ТЕКСТИЛЬНАЯ ПРОМЫШЛЕННОСТЬ, Производство бальзамы по регионам, Производство мебель корпусная в Дальнереченске, МАШИНОСТРОЕНИЕ в Республике Марий Эл, предприятия Челябинская область, Производство АТС цифровые по федеральным округам РФ, ДОБЫЧА УГЛЯ в Сибирский федеральный округ А знаете ли Вы, что... Из Большой Советской Энциклопедии. Моделей теория, раздел математики, возникший при применении методов математической логики в алгебре. Ко 2-й половине 20 в. М. т. оформилась в самостоятельную дисциплину, методы и результаты которой находят применение как в алгебре, так и в др. разделах математики. Основные понятия М. т. — понятия алгебраической системы, формализованного языка, истинности высказывания рассматриваемого языка в данной алгебраической системе. Типичным примером алгебраической системы является система натуральных чисел вместе с операциями сложения и умножения, отношением порядка и выделенными элементами 0, 1. Простейшие высказывания об этой системе — высказывания типа: «х + у = z при х = 2, у = 3, z = 5», «x у = z при х = 4, у = 2, z = 8», «x < у при х = 2, у = 3». Из простейших высказываний более сложные получаются при помощи пропозициональных связок «и», «или», «если..., то.. |
|