|
||||||||||||||||||||||||||
Статьи и новости: |
Объявление.Инновационный многопрофильный образовательный комплекс ГБОУ г.Москвы гимназия №1796 «Гольяново» проводит дополнительный набор учащихся 5-11 классов для обучения в предпрофильных и профильных классах следующих направленностей на 2014/15 учебный год:
Ишимбай. Ишимбайские университеты.
|
ВУЗ | Филиал Уфимского государственного авиационного технического университета в г. Ишимбае |
Адрес | 453213, Республика Башкортостан, г. Ишимбай, ул. Губкина, д. 15 |
Телефоны | (34794) 7-15-55 |
Город расположения | Ишимбай |
Регион | Республика Башкортостан |
Организационная форма | |
Государственная аккредитация до | 10 июля 2007 года |
Лицензия до | 03 марта 2010 года |
Специальности | СПИСОК СПЕЦИАЛЬНОСТЕЙ |
Допольнительная информация | |
WWW | www.ifugatu.ru |
ifugatu@yandex.ru |
Из Большой Советской Энциклопедии.
Логика предикатов, раздел математической логики, изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате формализации Л. п. принимает вид различных исчислений. Простейшими логическими исчислениями являются исчисления высказываний. В более сложных исчислениях предикатов описываются логические законы, связывающие объекты исследования с отношениями между этими объектами.
В классическом исчислении предикатов употребляются следующие знаки: 1) т. н. предметные переменные — буквы х, у, z,..., которые содержательно рассматриваются как неопределённые имена объектов исследования теории; 2) предикатные переменные — знаковые комплексы вида Pm, Qn, Rl,... (m, n, l — натуральные числа), причём, например, Qn означает произвольное n-местное отношение между объектами; 3) знаки для логических с