Казахстанского инженерно-педагогического университета дружбы народов серия «гуманитарно-педагогическая»

Огромная часть общенаучных терминов является общей для обоих языков, подчиняясь морфологическим законам каждого из них. В данном случае процесс нормализации заключается в простом признании французского соответствующего термина:

compatible / compatible, to compile / compiler, to connect / connecter à;

error/erreurf., external/externe, toformat/formater, hypertext/hypertexte m.;

Итак, про анализирова в особенности процессов заимствования из английского языка в сфере информатики и упорядочения французской термино системы ИТ, мы пришли к следующим вы водам:

• 
  Английский язык (в том числе его американский вариант) является важнейшим источником обогащения французской лексики.
  
• 
  Сознательное воздействие на процессы заимствования изанглийского языка во многом является определяющим фактором формирования французской терминосистемы ИТ.
  
• 
  Процесс перераспределения значений заимствованного термина идет по четырем основным направлениям: 1) термину приписывается определенность содержания; 2) значение термина конкретизируется, сужается; 3) значение термина расширяется; 4) значение термина подвергается метонимическому переносу.
  
• 
  В целях замены английских лексических единицна французские применяется ряд приемов этим ологического характера, в частности: адаптация лексических единиц согласно орфографическим, фонетическим, морфологическим законам каждого языка; замена терминов английского происхождения или давно проникших в английский язык, замена французских заимствований, ранее попавших в английский язык, и оттуда вновь заимствованных во французский язык, сосуществование терминологических дублетов, создание фонетически мотивированных терминов.
  

ИСПОЛЬЗОВАННЫЕ ЛИТЕРАТУРЫ:

1. 
   CabréMariaTeresa.Laterminologie.Théorie, méthodeetapplications.–Les presses de l'Université d'Ottawa, 1998. – 322 c.
   
2. 
   Comissionculturelledugouvernementfrançais.JournalOfficiel.[Электрон- ныйресурс]. – Режимдоступа: http://www.culture.gouv.fr
   
3. 
   Őrsi Tibor. Les structures étymologiques du vocabulaire de l’informatique [Электронный ресурс]. Режим доступа:http://cief.elte.hu/Espace_ recherche/Budapest/REF12_articles/Orsi.pdfRondeau G. Introduction à la terminologie. – Québec, 1981. – 334 с.
   
4. 
   Лотте Д. С. Вопросы заимствования и упорядочения иноязычных терминов и терминоэлементов. – М.: Наука, 1982. – 149 с.
   

Қазақстан инженерлі педагогикалық Халықтар достығы университеті

Айталық F(x₁ , x₂ , …. , x_n ) = A₁ v A₂ v … v A_l , кез келген базисте берілген логикалық функция болсын.

α_j {0,1}, i=1,2, … , t; j = 1,2, … , n

A₂ (x₁ , x₂ , …. , x_n ) = 0 ( 1)

A_l (x₁ , x₂ , …. , x_n ) = 0 ,
теңдеулер жүйесінің шешімдері болса, онда _i=1&^t (x₁ v x₂ v …. v x_n ), бейнелеу арқылы алынған дизъюнктив қалыпты форма F(x₁ , x₂ , …. , x_n ) функцияны толығымен іске асырады, мунда α_i = σ_j , i=1,2, …, t; j= 1,2, … , n .

Дәлелдеу. Мұнда A₁ v A₂ v … v A_l = 0 теңдік кез келген i (i=1,2, …, l ) үшін текқана A_i=0 болғандаға орындалатындығын көру қиын емес.

Сондықтан, егер ά_i = ( α₁ , α₂ , …., α_n ), α_j {0,1}, i=1,2, … , t; жиналымдар жиыны (1) теңдеулер жүйесінің шешімі болса, онда ол F(x₁ , x₂ , …. , x_n ) = _j=1V^t (x₁& x₂& …. &x_n ) = 1 мұнда γ_i = α_i , γ_i { 0,1} ,

x , егер γ =1 болса, x^γ= ┐x, егер γ = 0 болса,

теңдеудіңда шешімі болады, яғни

F( ά_i ) = 0 , FF (ά_i ) = 1 .

Осыдан ┐FF (ά_i ) = 0 екендігі айқын және кез келген α  E_n²үшін

F (x₁,x₂,…,x_n) = ┐FF(x₁,x₂,…,x_n)

теңдік ақиқат.

Сондықтан

┐FF = ┐(V(x₁& x₂&…& x_n)) = &(x₁ v…vx_n),

мұнда σ_jⁱ = ά_j = ά_j.

Теорема дәлелденді.

Айталық логикалық теңдеулер жиыны кезектегі түрде берілген болсын:

A₁(x₁,x₂,…,x_n) = α₁

- - - - - - - - - - - - - -

A_e(x₁,x₂,…,x_n) = α_e

мунда α₁ = α₂ =…= α_e = 1, {x₁,x₂,…,x_n}  {0,1} = E₂

Онда кемел дизъюнктив қалыпты форманың қасиетіне сәйкес

F(x₁,x₂,…,x_n) = V x₁ x₂…x_n

болатындығын көру қиын емес. Сондықтан кемел дизъюнктив қалыпты форма кемель конъюнктив қалыпты формаға екіленген болғандықтан бұл қойылған екі мәселенің түп мағынасы логикалық алгебраның бір мәселесіне алып келеді. Ал ол кезі келгенде біреуі екіншісін толықтырғандықтан олардың сипатталу күрделік бағаларыда бірдей болады. Сонымен екі жағдайдада олардың күрделік бағалары

L_к(F) ≤ 2^n-1

болады. Бұл курделік баға кез келген кемел д.қ.ф. және кемел к.қ.ф. лар үшін өз сипатын сақтайды. Логикалық формулаларда кез келген функциялар қатысқан базистен D₁ = {x , x₁& x₂, x₁ v x₂} немесе D₂ = {0,1, x₁& x₂, x₁x₂} базистерге ауыстыруда үлкен қиындықтар туады.

Себебі әр бір формуланы ауыстырғанда олардың негізгі сипатын D₁ немесе D₂ базисте бейнелеу үшін көптеген амалдар орындалады.

Сондықтан, ауыстырудың жалпы формулаларын қолдану өте тиімді нәтижелер береді. Кезектегі қарастырылатын теориялық жұмыстар осы мақсаттарға қаратылған.

Кезектегідей белгілеулер енгіземіз:

{A_i}_^m - m реттік тізбекті эквиваленция амалы ;

{A_i}_^m- m реттік дизъюнкция амалы:

{A_i}_^m - m реттік mod 2 бойынша қосу амалы ;

{A_i}_→^m- m реттік импликация амалы ;

{A_i}_&^m- m реттік конъюнкция амалы ;

{A_i}_//^m - m реттік реттік Шеффер функциясы.

Айталық {A_i}_o^m = A₁ ◦ A₂ ◦ … ◦A_m

болсын, мұнда “о” белгісі жоғарыда көрсетілген функциялардың кез келгенін белгілейді.

{A_i}_o1^m ≡ {A_j*}_o2^m1

көріністегі теңдік о₁ логикалық амалдан о₂ логикалық тізбекке ауыстыруды сипаттайды, мұнда

i=1,2,…,m; j=1,2,…,m¹; m¹ = K_o2^o1 (m) теңдіктің оң жағындағы тізбекке қатысатын қарапайым конъюнкциялар (қ.к) саны;

L_o2^o1(m) – {A_j*}_o2^m1 формуладағы барлық A_i өрнектегі қатысатын айнымалылар саны; A_i , A_j* - қ.к.лар, о₁ және о₂ логикалық амалдар белгілері.

мұнда S₁=m/2-(t/2-1), S₂=m-t+2, S₃=m-t+3, ..., S_m=m; Z₁=m/2-(p-1)/2, Z₂=m-p+2, Z₃=m-p+3,…., Z_m=m,

2 , 4 ,…, m , егер m жұп болса, t =

1 , 3 , … , m, кері жағдайда.

P =

1, егер m жұп болса,

C = 0, кері жағдайда

және күрделік баға мынадай есептеледі:

1+2/3 (2^m-1), егер m жұп болса,

K_Σ^→(m) =

1/3 (2^m+1-1) кері жағдайда.

мұнда p,t элементар конъюнкциядағы аргументтер саны.

A₁ → A₂ = A₂ A₂ A₁ 1,

A₁ → A₂ → A₃ = A₁A₂A₃ A₁A₂  A₁A₃A₁A₃

формулаларға ие боламыз және T₂ = 3, T₃ = 5 екендігі белгілі.

Егер полиномды біртіндеп тізбекті құрастыратын болсақ, онда әр бір кезектегі полиномда қатысатын элементар конъюнкциялар саны алдынғысының екі еселенгендігінен не біреу көп, не біреу кем болатындығын байқаймыз. Мұнда, егер m - жұп болса бұл сан біреуге көп, ал кері жағдайда біреуге кем болады екен. Осы заңдылыққа сәйкес m нің өсуіне байланысты полиномдағы элементар конъюнкциялар санын айқындайтын сандар тізбегін құрастыруымыз мүмкін:

2 T_i-1 + 1, егер i жұп болса,

T_i =

2 T_i-1 – 1, кері жағдайда,

мұнда i = 2,3,…,m. .

Енді бұл сандар тізбегін жұп және тақ айнымалылар үшін екі топқа бөлеміз:

T_2k : {3,11,43,171,…} , k = 1,2,…,m/2;

T_2k-1 : {1,5,21,85,341,…} , k = 1,2,…,(m+1)/2

Осы жерден

T_2k = T_2(k-1) + 2^2k-1

және

T_2k-1 = T_2(k-1)-1 + 2^2k-2

T_2k = 1+ 2¹+ 2³ + 2⁵ +…+ 2^2k-1 =

= 1+ 2 (1 + 2¹ + 2⁴ +…+ 2^2k-2) =

= 1+ 2 (1 + 4¹ + 4² +…+ 4^(k-1),

T_2k-1 = 2^o + 2² + 2⁴ +…+ 2^2k-2 = 1+ 4¹ + 4² +…+ 4^k-1

екендігі келіп шығады.

Бұл шекті тізбектерді геометриялық прогрессия мүшелері қосындысы арқылы есептесек

T_2k = 1 + 2(4^k-1)/(4-1) = 1+ 2/3 (4^k-1),

T_2k-1 = (4^k-1)/3 = 1/3 (4^k-1)

немесе егер 2k = m жұп болғанда және 2k - 1= m, 2k=m+1 тақ болғанда, сонымен бірге 4^k = 2^2k екендігін есепке алсақ кезектегі заңдылыққа ие боламыз:

1 +2/3 (2^m-1), егер m жұп болса,
T_m = 1/3 (2^m+1-1) кері жағдайда.

Теорема дәлелденді.

{A_i}_~^m ≡ {A_j*}_Σ^m1

ауыстыру аналитикалық формада жалғыз түрде кезектегідей жіктеледі: ┐( _i=1Σ^mA_i) , егер m жұп болса,
_i=1^mA_i =_i=1Σ^mA_i , кері жағдайда және

m-1 , егер жұп болса,

K_Σ^~(m) = m , кері жағдайда.
m + 1, егер жұп болса,

L_Σ^~(m)= m , кері жағдайда.

Ауыстырудағы формулалар және оларға сәйкес күрделік бағаларды табу тривиал болғандықтан теореманың дәлелін келтірмейміз.

Сонымен бірге бұл ауыстыру үшін кері мәселеде симметриялы түрде орындалады, яғни ┐( _i=1^m A_i), егер m жұп болса, _i=1Σ^m A_i = _i=1^m A_i , кері жағдайда