1611678200-36438fb4f1ee6f855c93dc4a315ea8eb (Ю.Л. Ершов, Е.А. Палютин - Математическая логика), страница 69
Описание файла
PDF-файл из архива "Ю.Л. Ершов, Е.А. Палютин - Математическая логика", который расположен в категории "". Всё это находится в предмете "математическая логика" из 2 семестр, которые можно найти в файловом архиве НГУ. Не смотря на прямую связь этого архива с НГУ, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст 69 страницы из PDF
; Г n) 248R(f,g) 298яn+•u.g) 298Rв 63Rр(Го; ... ; Г n) 245S(P1, ... , Pk) 40S(X) 978(2() 99S(P1, ... , Pk] 403k.nu. go, ... , 9n) 297Т(А) 322T(I) 18Т(~) 99T(2t,a,, ... ,an) 176Т 8 162тсs 163Тоо 183Uk+I 278V 29, 99Х = У 14Х = {а,, ... ,an} 14XnY 16XUY 16Х\ У 16Х ~ У 14Xf 16Х1, ... ,Хп-+ У 38Х1 х ... х Xn 16[Н: Н1] 312[Н: Н1] = оо 312[Н1: Н2] 312353n34i=IЛ-предикат206191Лn ·предикат 276Лn+1 ·формула 275,.,.,D 107Г 21Г(х,у) 257Г 1-- w 21Г 1-- 0 215Г 9 253Л 14, 15Mod(A) 283П 252П* 261Ло·формулаП"290п,256п~ 257П2 257Ф 19Ф(Р+) 209Ф(Р~,...
, Pk) 40185Ф(t1, ... .tп) 114Ф(х1, ... ,Xn) 103Ф[Р1, ... , Pk] 40Ф[б1, ... , бk] = б 40Ф = iI1 30, 122Ф = s'V 195ф211V 195Ф' 164Ф I W 137Ф s iI1 123ф rv 'V 125Ф т iI1 161Ф ==> s'V 194ф ==> 21 ir, 195Ф 0 41Ф 1 41Ф* 245Ф 6 26Ф(2t, а)=Указатель обозначений354аФ 21 (у] 202ф(u)Ф1,а/Ь... , Фп 1--Ф1 л... лФФnФ1 У ... У ФпФнфр213434243244~Фn,•••,Фnl-ФФ11419266ФФRQ-формула 191- позитивная 209Sh(A1) = Sh(A2) 319Е 93Е-подмножества Л-нетривиальные282Е-предикат-!:!.. {3295295Qa 295О!а 295ap,n,k 319ap,n(A) 319196101{3 256{З(Ф) 217fЗ< а 83f3 ~ а 83{Зр(А) 319{Зp,n,k 31917П Х; 17nxiEJux 17206универсальный дляk-местныхЕ-предикатов278192Е-функция 206- частичная 253- - универсальная дляЕ-формулаU 21i 96U Х; 17iEJU En 94iEInEwnk-местныхчастичных Е-функций278V Фii=In 6634101Е r Х 94Е ~ Е1 94Е+ 314Е+(Ф) 169Е-(Ф) 169Ее 164Е 8 162EcS 163ch 260XQ 260XQ 260л 19, 39(Х1, ... ,Xn) 15(а1, ... ,an) 61Ео-формула:=; 191Е(Ф)275Еn-предикат 276Еn+1-формула 275Th(K) 153, 283Th(Qt) 144Tr 276ТrФ 265TrE 268ТrEn 276а(21) 83а+ 1 82а{З 15(21,a,, ...
,an) = (SВ,Ь1, ...(а1, ... , an) 61u 66дQ278253dimA 319У 19, 39domf 63IZJ 14, 15, 2453х 101дg3 1013-формула1542373mx Ф(х) 3013х,Ьn)176Указатель обозначений\:/-формула~ф154154'v':3-формула,'р(А)319,'p,n,k 319idл 62{==> 7----, У 38----, 19, 38, 39inf(A 1,2t) 66ИПЕ 114ипf 135ЛхГ(nо, х) 265~ 68, 1912( 942t r ~, 962( = 113 1442( ~end 113 1922( F С[,'] 119Ф 1042t2( F Ф(а,, ... ,an) 1042( F Ф[7] 1032( ::::с 113 952t/E 1722(~ 113 952( 8 1622(cS 163Щх 1502t; 1 Х ••.
Х 2(in 109113 94113(Х) 95113(а1, ... , an) 96113 --< 2( 147113D 108113 1 108113п(Т) 175J 19, 100FrF 277Sub 277Sen 277max{ ai, ... , an} 83103µуН(х,у)) 259µ 94r=r=12*19, 3919~е 57v(f) 2531/~ 94w 14, 60w, 181К 154а 66t 237w 185w Е А 185z 237sg 265Х; 17б 41дt 304дхt 3041rf х 6lП Щ; 109~'v'x 101'v' 101iEIrangf 631> Ф 136sg 265(]'. 261O'Q 252О'о 290О'! 2560'2 25707sup(A1, 2t) 65т(w) 302ив<-J 50ив<-.v) 52ив<-.v.~) 59ив,4650==} 70(i) 253fm 96l_k 96!:.n 961:(А) 3191:(Х) 81En 319ИВ2355.