Компьютердің логикалық негіздері

Алғаш рет логиканы жүйелі түрде зерттеп,пікір,ой қорытындылау сияқты ойлау түрлеріне жіктеді.Осылайша формальды логика пайда болды.Кім?

• Чарлз Бэббидж

• Аль Фараби

• Аристотель

• Ада Лавлейс

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

• Математикалық логика

• Формальды логика

• Ықтималды логика

Кездейсоқ параметрлермен жасалатын сынақтың бірнеше сериясын қолдануға негізделген логика.

• Ықтималдық логика

• Математикалық логика

• Формальды логика

Формальды логиканың бір бөлігі.Олардың ақиқаттығын немесе жалғандығын шешуге болатын ойларды ғана зерттейді.

• Ықтималдық логика

• Математикалық логика

• Формальды логика

Алғаш рет ойлау,пайымдау заңдарының ауызша төрелік етуін және пікірлер арасындағы байланысты математикалық қатынас тіліне аударуға тырысты.

• Ада Лавлейс

• Блез Паскаль

• Джордж Буль

• Готфрид Лейбниц

Математикалық заңдылықтарға бағынатын логикалық әмбебап тілді құру туралы Лейбниц идеясын дамытты.

• Джордж Буль

• Ада Лавлейс

• Блез Паскаль

• Чарльз Бэббидж

Дизьюнкция

• or,немесе

• and,немесе

• not,емес

Конъюнкция

• not,емес

• and,және

• or,немесе

Инверсия

• not,емес

• and,және

• or,немесе

Егер формулада үш айнымалы болса,барлық мүмкін мәндер үштігі қанша болады?

• 8

• 6

• 12

• 10