II кезең: жалпы шешімді табу. 3 теорема

1. 
   Екі белгісізі бар бірінші дәрежелі анықталмаған теңдеудің анықтамасын беріңіз.
   
2. 
   Қандай диофантты теңдеулер біртекті және біртекті емес деп аталады?
   
3. 
   Анықталмаған теңдеудің дербес шешімі дегеніміз не?
   
4. 
   Диофантты теңдеулерді шешудің екі кезеңін көрсетіңіз.
   

8. 
   тақырып
   

1. Математикалық логика тарихына қысқаша шолу.

2. Математикалық логиканың негізгі түсініктеріне кіріспе.

3. Практикалық есептер шығаруда біліктілік пен дағдыны қалыптастыру.

1. Пікір. Мысалдар.

2. Пікірлерге қолданылатын амалдар.

3. Пікірлер алгебрасының функциясының кесте арқылы берілуі.

Кіріспе

"Логика" термині гректің  (логос) деген сөзінен шыққан. Бұл сөздің мағынасы "түсінік", "ес, ақыл-ой" дегенді білдіреді. Логика ғылым ретінде ойлауды оқытады.

Логика едұрыс ойлаудың формалары мен заңдары туралы ғылым.

Математикалық логика дәстүрлі локикадан дамыған. Бұл ғылым дұрыс ойлаудың жалпы құрылымын зерттеу үшін математикалық әдістерді қолданып, математиканың бір бөлімі болып қалыптасты. Логиканың ғылым ретінде негізін салған ежелгі грек философы және ғалымы Аристотель (384 - 322 ж. б.э.д.) болатын. Ол дедукция теориясын, яғни логикалық түрде қорыту теориясын жасап шығарды.

Пікірлер алгебрасы бар пікірлерден пікір құру әдістерін, заңдылықтарын оқытады. Пікірлер алгебрасы математикалық логиканың негізі болып табылады.

Пікір бір мезгілде ақиқат және жалған болуы мүмкін емес.

Мысалы: 1) “2+5=1” - ж

2) “14:3” - пікір емес

Кез-келген сөйлем пікір болып табылмайды. Мысалы, сұраулы және лепті сөйлемдер пікір болмайды. Анықтама да пікр емес.

Ақиқат пікірге – 1 символын, ал жалған пікірге – 0 символын сәйкестендіреміз.

Қарапайым (элементар) пікірлерге амалдар қолдану арқылы күрделі пікірлер алуға болады.