ВУЗ:
Составители:
Рубрика:
ÓÄÊ 510.63
ÁÁÊ 22.12
à 95
Ïå÷àòàåòñÿ ïî ðåøåíèþ ðåäàêöèîííî-èçäàòåëüñêîãî ñîâåòà
ôàêóëüòåòà âû÷èñëèòåëüíîé ìàòåìàòèêè è êèáåðíåòèêè
ÌÃÓ èì. Ì. Â. Ëîìîíîñîâà
Ðåöåíçåíòû:
ê.ô.-ì.í., äîöåíò Â. À. Çàõàðîâ
ê.ô.-ì.í. À. Ì. Ìèðîíîâ
Ãóðîâ Ñ. È.
Èñ÷èñëåíèÿ âûñêàçûâàíèé êëàññè÷åñêîé ëîãèêè: Ó÷åáíîå ïîñîáèå
Ì.: Èçäàòåëüñêèé îòäåë ôàêóëüòåòà ÂÌèÊ èì. Ì. Â. Ëîìîíîñîâà (ëè-
öåíçèÿ ÈÄ 05899 îò 24.09.2001 ã.); ÌÀÊÑ Ïðåññ, 2007. 134 ñ.
Ïðåäëàãàåìîå ó÷åáíîå ïîñîáèå ïðåäíàçíà÷åíî äëÿ ñòóäåíòîâ, íà÷è-
íàþùèõ èçó÷àòü ìàòåìàòè÷åñêóþ ëîãèêó, îíî òàêæå ìîæåò áûòü èñ-
ïîëüçîâàíî ïðè ñàìîîáðàçîâàíèè.
Ïðè èçëîæåíèè ìàòåðèàëà ïîä÷¼ðêèâàþòñÿ àëãåáðàè÷åñêèå àñïåê-
òû èñ÷èñëåíèé âûñêàçûâàíèé êëàññè÷åñêîé ëîãèêè. Èçëîæåíû ìåòîäû
õàðàêòåðèçàöèè ôîðìóë ëîãèêè âûñêàçûâàíèé, ïîäðîáíî ðàññìîòðåíû
ãèëüáåðòîâñêèå èñ÷èñëåíèÿ, ñèñòåìà íàòóðàëüíîãî âûâîäà è èñ÷èñëå-
íèå ñåêâåíöèé äëÿ èñ÷èñëåíèÿ âûñêàçûâàíèé. Äëÿ êàæäîé èç òð¼õ ñè-
ñòåì äîêàçûâàþòñÿ å¼ êîððåêòíîñòü, ïîëíîòà è àíàëèçèðóþòñÿ îòëè÷è-
òåëüíûå îñîáåííîñòè âûâîäîâ òåîðåì.
Ïîñîáèå ñîäåðæèò áîëüøîå êîëè÷åñòâî ïðèìåðîâ, ïîçâîëÿþùèõ ÷è-
òàòåëþ ëåãêî îñâîèòüñÿ ñ ââîäèìûìè ïîíÿòèÿìè.
Äàííîå èçäàíèå îòêðûâàåò ñåðèþ ó÷åáíûõ ïîñîáèé è ìîíîãðàôèé
¾Ìàòåìàòè÷åñêèå îñíîâû ïðîåêòèðîâàíèÿ ÑÁÈÑ¿, êîòîðàÿ áóäåò èç-
äàâàòüñÿ íà ô-òå Âû÷èñëèòåëüíîé ìàòåìàòèêè è êèáåðíåòèêè ÌÃÓ
èì. Ì.Â. Ëîìîíîñîâà.
Ïîäãîòîâëåíî ïðè ïîääåðæêå îáðàçîâàòåëüíîé ïðîãðàììû
¾Ôîðìèðîâàíèå ñèñòåìû èííîâàöèîííîãî îáðàçîâàíèÿ â
ÌÃÓ¿
© Ôàêóëüòåò âû÷èñëèòåëüíîé ìàòåìàòèêè
è êèáåðíåòèêè èì. Ì.Â. Ëîìîíîñîâà, 2008.
© Ñ.È. Ãóðîâ, 2008.
