II кезең: жалпы шешімді табу.
3 теорема. Егер бүтін коэффициентті анықталмаған теңдеудің бүтін дербес шешімі (х0, у0) болса, мұндағы (а, b)=1, онда осы теңдеудің жалпы шешімі келесі түрде болады:
(**) {
Әдебиет: 8, 38-42 бет
Өзін-өзі тексеруге арналған сұрақтар: Екі белгісізі бар бірінші дәрежелі анықталмаған теңдеудің анықтамасын беріңіз.
Қандай диофантты теңдеулер біртекті және біртекті емес деп аталады?
Анықталмаған теңдеудің дербес шешімі дегеніміз не?
Диофантты теңдеулерді шешудің екі кезеңін көрсетіңіз.
тақырып
Пікірлер алгебрасы Мақсаты: 1. Математикалық логика тарихына қысқаша шолу.
2. Математикалық логиканың негізгі түсініктеріне кіріспе.
3. Практикалық есептер шығаруда біліктілік пен дағдыны қалыптастыру.
Жоспар: 1. Пікір. Мысалдар.
2. Пікірлерге қолданылатын амалдар.
3. Пікірлер алгебрасының функциясының кесте арқылы берілуі.
Кіріспе
"Логика" термині гректің (логос) деген сөзінен шыққан. Бұл сөздің мағынасы "түсінік", "ес, ақыл-ой" дегенді білдіреді. Логика ғылым ретінде ойлауды оқытады.
Логика едұрыс ойлаудың формалары мен заңдары туралы ғылым.
Математикалық логика дәстүрлі локикадан дамыған. Бұл ғылым дұрыс ойлаудың жалпы құрылымын зерттеу үшін математикалық әдістерді қолданып, математиканың бір бөлімі болып қалыптасты. Логиканың ғылым ретінде негізін салған ежелгі грек философы және ғалымы Аристотель (384 - 322 ж. б.э.д.) болатын. Ол дедукция теориясын, яғни логикалық түрде қорыту теориясын жасап шығарды.
1 Пікір. Мысалдар.
Пікірлер алгебрасы бар пікірлерден пікір құру әдістерін, заңдылықтарын оқытады. Пікірлер алгебрасы математикалық логиканың негізі болып табылады.
Анықтама 1. Пікір деп, мағынасы бойынша немесе ақиқат, немесе жалған болып табылатын хабарлы сөйлемді айтады.
Пікір бір мезгілде ақиқат және жалған болуы мүмкін емес.
Мысалы: 1) “2+5=1” - ж 2) “14:3” - пікір емес Кез-келген сөйлем пікір болып табылмайды. Мысалы, сұраулы және лепті сөйлемдер пікір болмайды. Анықтама да пікр емес.
Ақиқат пікірге – 1 символын, ал жалған пікірге – 0 символын сәйкестендіреміз.
Барлық пікірлер жиынында екі элементті жиыннан мәндер қабылдайтын ақиқаттық функция анықталады:
функциясы ақиқаттық функция деп, ал оның мәні Р пікірінің ақиқаттық мәні деп аталады
Қарапайым (элементар) пікірлерге амалдар қолдану арқылы күрделі пікірлер алуға болады.