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

UptoLike

ВУЗ: 

МГУ | Москва

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

Рубрика: 

{ 0, ∞ }
132                              Ïåðñîíàëèÿ è àâòîðñêèé óêàçàòåëü


       äîáàâëåíèè êî II òîìó óêàçàííîé ìîíîãðàôèè Ôðåãå ïðèâ¼ë
      óêàçàííîå ïèñüìî è ñ ãîðå÷üþ íàïèñàë ¾Åäâà ëè ñ àâòîðîì íà-
      ó÷íîãî òðóäà ìîæåò ñëó÷èòüñÿ ÷òî-íèáóäü áîëåå íåïðèÿòíîå, ÷åì
      òî, ÷òî îñíîâàíèÿ åãî ñèñòåìû áóäóò ïîòðÿñåíû ïîñëå òîãî, êàê
      ðàáîòà íàä íåé çàêîí÷åíà. ß áûë ïðèâåä¼í â ýòî ñîñòîÿíèå ïèñü-
      ìîì ã. Áåðòðàíà Ðàññåëà êàê ðàç, êîãäà ïå÷àòü âòîðîãî îáúåìà
      ïðèáëèæàëàñü ê çàâåðøåíèþ...¿.  16, 42, 130
Õîðí Àëüôðåä (Alfred Horn, 19182001)  àìåðèêàíñêèé ìàòåìàòèê,
      îäèí èç ñîçäàòåëåé ëîãè÷åñêîãî ïðîãðàììèðîâàíèÿ.     38
×¼ð÷ Àëîíçî (Alonzo Church, 19031995)  àìåðèêàíñêèé ìàòåìàòèê
      è ëîãèê. Àâòîð ôóíäàìåíòàëüíîé ìîíîãðàôèè ¾Ââåäåíèå â ìàòå-
      ìàòè÷åñêóþ ëîãèêó¿ (1956).  84, 130
Øåííîí Êëîä (Claude Elwood Shannon, 19162001)  àìåðèêàíñêèé
      ìàòåìàòèê, îäèí èç îñíîâîïîëîæíèêîâ ñòàòèñòè÷åñêîé òåîðèè èí-
      ôîðìàöèè.  16
Øåñòàêîâ Âèêòîð Èâàíîâè÷ (19071987)  äîöåíò Ôèçè÷åñêîãî ôà-
      êóëüòåòà ÌÃÓ, ïåðâîîòêðûâàòåëü êîíòèíóàëüíîé ëîãèêè è å¼ ïðè-
      ìåíåíèÿ â ýëåêòðîòåõíèêå.
      Â.È. Øåñòàêîâ ðîäèëñÿ â ïðîñòîé ðàáî÷åé ñåìüå è, ðàíî ïîòå-
      ðÿâ ðîäèòåëåé, âîñïèòûâàëñÿ â äåòñêîì äîìå. Ñ 19341935 ãã.
      (ðàíüøå Ê. Øåííîíà è À. Íàêàñèìû) îí íà÷àë ðàçðàáîòêó
      ëîãèêî-àëãåáðàè÷åñêîé ìîäåëè ýëåêòðè÷åñêèõ äâóõïîëþñíèêîâ
      ñ ïîñëåäîâàòåëüíî-ïàðàëëåëüíûìè ñîåäèíåíèÿìè àêòèâíûõ
      ýëåìåíòîâ, ñîïðîòèâëåíèÿ êîòîðûõ ïðèíèìàþò íåîòðèöàòåëü-
      íûå äåéñòâèòåëüíûå çíà÷åíèÿ; íà äâóõýëåìåíòíîì ìíîæåñòâå
      { 0, ∞ } ìîäåëü âûðîæäàëàñü â áóëåâó àëãåáðó. Áàçîâûìè
      îïåðàöèÿìè ìîäåëè ÿâëÿëèñü ìóëüòèïëèêàòèâíàÿ èíâåðñèÿ
      (îòðèöàíèå), àðèôìåòè÷åñêîå ñëîæåíèå (äèçúþíêöèÿ) è ãàð-
      ìîíè÷åñêîå ñðåäíåå (êîíúþíêöèÿ). Íà îñíîâå ýòîé ìîäåëè
      Øåñòàêîâûì áûë ïðåäëîæåí ò.í. âåêòîðíî-àëãåáðàè÷åñêèé ìåòîä
      ñèíòåçà ðåëåéíî-êîíòàêòíûõ ñõåì.
      Ëþáîïûòíî, ÷òî áóäó÷è îäíèì èç ïåðâûõ (åñëè íå ñàìûì ïåð-
      âûì!) êèáåðíåòèêîì â ÑÑÑÐ, Â.È. Øåñòàêîâ â 1950-õ ãã. ðåçêî
      êðèòèêîâàë êèáåðíåòèêó êàê ¾ëæåíàóêó¿.  16
Øð¼äåð Ýðíñò (Ernst Schroder, 18411902)  íåìåöêèé ìàòåìàòèê è
      ëîãèê, ïðîôåññîð Âûñøåé øêîëû â Êàðëñðóý. Îòêðûë ðÿä çàêî-
      íîâ áóëåâîé àëãåáðû, â ò.÷. ïðèíöèïà äâîéñòâåííîñòè.  42
Ýðáðàí Æàê (Jacques Herbrand, 19081931)  ôðàíöóçñêèé ìàòåìà-
      òèê è ëîãèê. Äîêàçàë âàæíóþ íàçâàííóþ åãî èìåíåì òåîðåìó,

Страницы