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

UptoLike

ВУЗ: 

МГУ | Москва

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

Рубрика: 

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




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

1.    Áåò Ý.Â. Ìåòîä ñåìàíòè÷åñêèõ òàáëèö /  [13].  C. 191-199.
2.    Âåðåùàãèí Â.Í., Øåíü À. Ëåêöèè ïî ìàòåìàòè÷åñêîé ëîãèêå è òåî-
      ðèè àëãîðèòìîâ. ×àñòü II. ßçûêè è èñ÷èñëåíèÿ.  Ì.: ÌÖÍÌÎ,
      2000.
3.    Âëàäèìèðîâ Ä.À. Áóëåâû àëãåáðû.  Ì.: Íàóêà, 1969.
4.    Ãëàäêèé À.Â. Ìàòåìàòè÷åñêàÿ ëîãèêà.  Ì.: Ðîññèéñê. ãîñóä. ãó-
      ìàíèò. óí-ò, 1998.
5.    Ãóðîâ Ñ.È. Óïîðÿäî÷åííûå ìíîæåñòâà è óíèâåðñàëüíàÿ àëãåáðà
      (ââîäíûé êóðñ): Ó÷åáí. ïîñîáèå (ýëåêòðîííàÿ âåðñèÿ).  2006.
      http://www.cs.msu.ru/jetspeed/PH/78NMT5B5.pdf
6.    Åðøîâ Þ.Ë., Ïàëþòèí Å.À. Màòåìàòè÷åñêàÿ ëîãèêà: Ó÷åá. ïîñî-
      áèå äëÿ âóçîâ.  Ì.: Íàóêà, 1987.
7.    Êàðïåíêî À.Ñ. Ëîãèêà íà ðóáåæå òûñÿ÷åëåòèé // Ëîãè÷åñêèå èñ-
      ñëåäîâàíèÿ. Âûï. 7.  Ì.: Íàóêà, 2000.  Ñ. 7-60.
8.    Êëèíè Ñ.Ê. Ìàòåìàòè÷åñêàÿ ëîãèêà.  Ì.: Ìèð, 1973.
9.    Êîëìîãîðîâ À.Í., Äðàãàëèí À.Ã. Ìàòåìàòè÷åñêàÿ ëîãèêà. (Êëàññè-
      ÷åñêèé óíèâåðñèòåòñêèé ó÷åáíèê).  Ì.: Åäèòîðèàë ÓÐÑÑ, 2004.
10.   Ëàâðîâ È.À. Ìàòåìàòè÷åñêàÿ ëîãèêà: ó÷åáí. ïîñîáèå äëÿ ñòóä.
      âûñø. ó÷åáí. çàâåäåíèé  Ì.: Èçàäòåëüñêèé öåíòð ¾Àêàäåìèÿ¿,
      2006.
11.   Ëàâðîâ È.À., Ìàêñèìîâà Ë.Ë. Çàäà÷è ïî òåîðèè ìíîæåñòâ, ìàòåìà-
      òè÷åñêîé ëîãèêå è òåîðèè àëãîðèòìîâ.  Ì.: ÔÈÇÌÀÒËÈÒ, 2004.
12.   Ëîãè÷åñêèé ïîäõîä ê èñêóññòâåííîìó èíòåëëåêòó: îò êëàññè÷åñêîé
      ëîãèêè ê ëîãè÷åñêîìó ïðîãðàììèðîâàíèþ / Òåéç À., Ãðèáîìîí Ï.,
      Ëóè Æ. è äð.  Ì.: Ìèð, 1990.
13.   Ìàòåìàòè÷åñêàÿ òåîðèÿ ëîãè÷åñêîãî âûâîäà.  Ì.: Íàóêà, 1967.
14.   Ìåíäåëüñîí Ý. Ââåäåíèå â ìàòåìàòè÷åñêóþ ëîãèêó.  Ì.: Íàóêà,
      1984.
15.   Íåïåéâîäà Í.Í. Ïðèêëàäíàÿ ëîãèêà: Ó÷åáíîå ïîñîáèå.  Íîâîñè-
      áèðñê: Èçä-âî Íîâîñèáèð. óí-òà, 2000.
16.   Ïëèñêî Â.Å. Ìàòåìàòè÷åñêàÿ ëîãèêà.  Ó÷åáíûé ïîðòàë ÐÓÄÍ. 
      http://web-local.rudn.ru/web-local/prep/srv/pdf.php?id=513

Страницы