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