Производство пряжа х/б в Лакинске, газификация хозяйства газового в Псковской области, Челябинск промышленность, Производство виды круп все в ассортименте в Уральский федеральный округ, ремонт самолетов в Москве, Санкт-Петербург предприятия, ЖЕЛЕЗНОДОРОЖНОЕ МАШИНОСТРОЕНИЕ в Сибирский федеральный округ, шлакоподбойка в Центральный федеральный округ, уголь каменный, Производство прокат алюминиевый, Производство асфальтоукладчики в Брянской области, МАШИНОСТРОЕНИЕ по городам Российской Федерации, ХИМИЧЕСКАЯ ПРОМЫШЛЕННОСТЬ в Орехово-Зуево, ПРИБОРОСТРОЕНИЕ в федеральных округах РФ, ЭЛЕКТРОЭНЕРГЕТИКА в Воронежской области, ПРОИЗВОДСТВО СТЕНОВЫХ МАТЕРИАЛОВ в Липецке, ЭЛЕКТРОЭНЕРГЕТИКА предприятия в Пятигорске, ПИЩЕВАЯ ПРОМЫШЛЕННОСТЬ Черкесск, ОАО "Жуковский машиностроительный завод" МАШИНОСТРОЕНИЕ, предприятия Москва, промышленность Саранск, Производство бутылки стеклянные по регионам, АВИАЦИОННАЯ ПРОМЫШЛЕННОСТЬ Предприятия, ОАО "Элтор", Свердловская область АООТ "Уралэлектромедь"
А знаете ли Вы, что...
Из Большой Советской Энциклопедии.
Формальная арифметика, формулировка арифметики в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Язык Ф. а. содержит константу 0, числовые переменные, символ равенства, функциональные символы +, •, ' (прибавление 1) и логические связки (см. Логические операции). Постулатами Ф. а. являются аксиомы и правила вывода исчисления предикатов (классического или интуиционистского в зависимости от того, какая Ф. а. рассматривается), определяющие равенства для арифметических операций: а + 0 = а, а + b’ = (а + b), а •0 = 0, а •b’ = (а•b) + а,
аксиомы Пеано: ù(а’ = 0), a’= b’®а = b, (a = b & а = с) ®b = с, а = b®a' =
|