Исчисления высказываний классической логики. Гуров С.И. - 135 стр.

UptoLike

ВУЗ: 

МГУ | Москва

Составители: 

Рубрика: 

Ñïèñîê ëèòåðàòóðû                                               135


17. Ïëîòêèí Á.È. Óíèâåðñàëüíàÿ àëãåáðà, àëãåáðàè÷åñêàÿ ëîãèêà è
    áàçû äàííûõ.  Ì.: Íàóêà, 1991.
18. Ïðàâèö Ä. Íàòóðàëüíûé âûâîä. Òåîðåòèêî-äîêàçàòåëüñòâåííîå èñ-
    ñëåäîâàíèå.  Ì.: Èçäàò-âî ËÎÐÈ, 1997.
19. Ðàñ¼âà Å., Ñèêîðñêèé Ð. Ìàòåìàòèêà ìåòàìàòåìàòèêè.  Ì.: Íàó-
    êà, 1972.
20. Ñóäîïëàòîâ Ñ.Â., Îâ÷èííèêîâà Å.Â. Ìàòåìàòè÷åñêàÿ ëîãèêà è òåî-
    ðèÿ àëãîðèòìîâ: Ó÷åáíèê.  Ì.: ÈÍÔÐÀ-Ì, Íîâîñèáèðñê: Èçä-âî
    ÍÒÃÓ, 2004.
21. Óñïåíñêèé Â.À., Âåðåùàãèí Í.Ê., Ïëèñêî Â.Å. Ââîäíûé êóðñ ìà-
    òåìàòè÷åñêîé ëîãèêè.  Ì.: ÔÈÇÌÀÒËÈÒ, 2002.
22. ×åíü ×., Ëè Ð. Ìàòåìàòè÷åñêàÿ ëîãèêà è àâòîìàòè÷åñêîå äîêàçà-
    òåëüñòâî òåîðåì.  Ì.: Íàóêà, 1983.
23. ßáëîíñêèé Ñ.Â. Ââåäåíèå â äèñêðåòíóþ ìàòåìàòèêó.  Ì.: Íàóêà,
    1986.
24. ßãëîì È.Ì. Áóëåâà ñòðóêòóðà è å¼ ìîäåëè.  Ì.: Ñîâ. ðàäèî, 1980.

Страницы