ІІ.Үй тапсырмасын тексеру.
Бақылау жұмысы
Мына сандарды екілік санау жүйеден сегіздік санау жүйесіне көшіріңдер
А) 1011112
Б) 11111012
В) 1110002
Г) 10101012
Мына сандарды екілік санау жүйеден он алтылық санау жүйесіне көшіріңдер
А) 101111000010102
Б) 11111010000000010101012
В) 111000010101012
Г) 101010100001112
А) 1101102+101012
Б) 111012-10102
В) 110112+01102
Г) 110112-101012
Римдік жазылуын арабтық жазбасына аударыңыздар:
А) LXC
Б) MDV
В) DCLV
Г) MCX
Арабтық жазылуын римдік жазбасына аударыңыздар:
А) 1991
Б) 1998
В) 1993
Г) 2000
ІІІ. Жаңа сабақ.
Логика-ол ежелгі ғылым. Аристотель-дәстүрлі формалды логиканың негізін салушы. Формалды логика алдымен қалыпты сөйлеген сөзбен берілген ой-тұжырымды талдайды.
Қазіргі заманғы математикалық немесе символдық деп аталып жүрген логика ХІХ ғасырдың ортасы, ХХ ғасырдың басында дәстүрлі логикаға алмастырылады. Логиканың «математикалық» деп аталуы қазіргі заманғы логикаға сай келеді. Қазірігі заманғы логика күрделілірек нысандарды зерттеуге мүмкіндік береді.
Ең алғаш болып математикалық логиканы құру идеясын неміс ғылымы Готфрид Вильгельм Лейбниц 1646-1716 жж. Ұсынды. Ол пікірді белгілі ережелерге сүйеніп, логикалық амалдармен ауыстыруға болады деп есептейді. Бұл ғылымның негізін ХІХ ғасырдың соңында ағылшын математигі Джордж Буль 1815-1864 жж. салды. ол математикалық логиканың негізін салушы болып есептелгендіктен, оның құрметіне математиканың бөлімдерінің бірін бульдік алебра деп атады.
Бульдік алгебра-пікірлер және сол пікірлерге орындалатын амалдарды зерттейтін математикалық логиканың бөлімі.
Логикалық амалдар немесе логикалық заңдар тек пікірлерге ғана емес, сонымен қатар екілік разрядтармен ұсынылған сандарға, мәтіндерге, дыбыстарға, суреттерге де қолданылады.
Бульдік алгебрада пікірлердің мазмұнына емес, оның ақиқаттылығына мән беріледі.
Пікір(айтылым)-тұжырым немесе жоққа шығару үшін айтылған хабарлы сөйлем. Жалған немесе ақиқат болуы мүмкін қандай да бір пайымдау.
Қарапайым пікірлердің мысалдары: «Қарағайлардың барлығы да ағаштар», «Кейбір адамдар-спортшылар»; «Ешбір кит-балық емес»; «Кейбір жануарлар жыртқыш аң емес».
Егер пікір шындыққа сәйкес болса, ол-ақиқат, ал сәйкес болса, жалған болады. Логикалық мәндерді АҚИҚАТ және ЖАЛҒАН сөздерімен немесе екілік арифметикалық таңбалармен: нөлдер мен бірлер арқылы көрсетуге болады.
Ікірлер латын алфавитінің бас әріптерімен белгіленеді. Онда А= «Барлық раушангүлдер-гүлдер» пікірінің мәнін: А=1 деп жазуға болады. В=0 деп көрстуге болады.
Пікірлер жалпы немесе жеке болуы мүмкін. Мысалы, «КЕз келген үшбұрыштың бұрыштарының қосындысы 1800-қа тең»-жалпы; «Ақ табанды қара мысықтар бар»-жеке.
Жалғаулықпен байланысқан бірнеше қарапайым пікір күрделі деп аталады.
Достарыңызбен бөлісу: |