|
||||||||||||||||||||||||||
Статьи и новости: |
Объявление.Инновационный многопрофильный образовательный комплекс ГБОУ г.Москвы гимназия №1796 «Гольяново» проводит дополнительный набор учащихся 5-11 классов для обучения в предпрофильных и профильных классах следующих направленностей на 2014/15 учебный год:
Государственные университеты Нижнего Новгорода. Нижний Новгород.
|
ВУЗ | Волго-Вятская академия государственной службы |
Адрес | 603950, Нижегородская область, г. Нижний Новгород, просп. Гагарина, д. 46 |
Телефоны | (8312) 65-72-11, 12-26-06 |
Город расположения | Нижний Новгород |
Регион | Нижегородская область |
Организационная форма | |
Государственная аккредитация до | 11 июня 2008 года |
Лицензия до | 04 июня 2008 года |
Специальности | СПИСОК СПЕЦИАЛЬНОСТЕЙ |
Допольнительная информация | |
WWW | www.vvags.ru |
vvags@vvags.ru |
Из Большой Советской Энциклопедии.
Натуральное исчисление, исчисление естественного вывода, натуральная дедукция, общее название логических исчислений, введённых и изученных в 1934 немецким логиком Г. Генценом (и независимо польским логиком С. Яськовским) с целью формализации процесса логического вывода, как можно более точно воспроизводящей структуру обычных содержательных рассуждений, а также для решения ряда важных задач метаматематики (в том числе для доказательства непротиворечивости арифметики натуральных чисел). Основным объектом Н. и. можно считать отношение (формальной) выводимости, обозначаемое символом , обладающее, по определению, свойством А (разрешение усилить посылки), (разрешение опускать одну из совпадающих посылок), (разрешение переставлять посылки). В различных формулировках Н. и. вид и число структ