1. Что изучает логика. Логика в информатике. Структура курса. Исторические сведения. Логические парадоксы (В.А. Захаров - Лекции), страница 2
Описание файла
Файл "1. Что изучает логика. Логика в информатике. Структура курса. Исторические сведения. Логические парадоксы" внутри архива находится в папке "В.А. Захаров - Лекции". PDF-файл из архива "В.А. Захаров - Лекции", который расположен в категории "". Всё это находится в предмете "математическая логика и логическое программирование" из 7 семестр, которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст 2 страницы из PDF
Ïðîðèöàòåëü îòâåòèë:¾Áèòâà çàâòðà ñîñòîèòñÿ¿.Íà ñëåäóþùèé äåíü ñëó÷èëñÿ øòîðì, è ôëîò íå ñìîã âûéòè âìîðå. Ðàçãíåâàííûé ôëîòîâîäåö ïîòðåáîâàë îò ïðîðèöàòåëÿâåðíóòü äåíüãè, ïîñêîëüêó åãî ïðîãíîç îêàçàëñÿ ëîæíûì.Ïðîðèöàòåëü îòâåòèë:¾Òâîè ìîðÿêè â÷åðà êóïèëè íà ðûíêåñâåæåå ìîëîêî. Ñåãîäíÿ ýòî ìîëîêî óæå íå ñâåæåå, íî îíè íåïðîñÿò âåðíóòü èì äåíüãè îáðàòíî. Ìîé ïðîãíîç òîæå áûëâåðíûì â÷åðà, è òû íå âïðàâå æàëîâàòüñÿ íà òî, ÷òî îí íåâåðåíñåãîäíÿ¿.Ïðàâ ëè ïðîðèöàòåëü?Ïàðàäîêñû íåèçáåæíû.Íî èõ âëèÿíèå ìîæíî îãðàíè÷èòü.Äëÿ ýòîãî íóæíû ìàòåìàòè÷åñêèåìîäåëè ëîãè÷åñêèõ çàêîíîâ.Âîò òàê è ïîÿâèëàñüÌàòåìàòè÷åñêàÿ ëîãèêàÐÅÉÌÎÍÄ Ñ.
ÑÌÀËËÈÀÍ. "Êàê æå íàçûâàåòñÿ ýòà êíèãà?"Ó Ïîðöèè (ãåðîèíè êîìåäèè "Âåíåöèàíñêèé êóïåö") áûëî òðèøêàòóëêè: èç çîëîòà, ñåðåáðà è ñâèíöà.  îäíîé èç øêàòóëîêõðàíèëñÿ ïîðòðåò Ïîðöèè. Ïîêëîííèêó ïðåäëàãàëîñü âûáðàòüøêàòóëêó, è åñëè îí áûë äîñòàòî÷íî óìåí, ÷òîáû âûáðàòüøêàòóëêó ñ ïîðòðåòîì, òî ïîëó÷àë ïðàâî íàçâàòü Ïîðöèþíåâåñòîé. Íà êðûøêàõ øêàòóëîê áûëè íàäïèñè:Íà çîëîòîéÏîðòðåò â ýòîéøêàòóëêåÍà ñåðåáðÿíîéÏîðòðåò íå â ýòîéøêàòóëêåÍà ñâèíöîâîéÏîðòðåò íå â çîëîòîéøêàòóëêåÑâîåìó ïîêëîííèêó Ïîðöèÿ ïîÿñíèëà, ÷òî èç òðåõâûñêàçûâàíèé íà êðûøêàõ øêàòóëîê, ïî êðàéíåé ìåðå äâàëîæíû.Êàêóþ øêàòóëêó ñëåäóåò âûáðàòü ïîêëîííèêó Ïîðöèè?Çàãàäêà Àëüáåðòà Ýéíøòåéíà 5 ðàçíîöâåòíûõ äîìàõ æèâóò ãðàæäàíå 5 ðàçíûõ ñòðàí,êîòîðûå êóðÿò 5 ðàçíûõ ñîðòîâ ñèãàðåò, ïüþò 5 ðàçíûõíàïèòêîâ è ñîäåðæàò 5 ðàçíûõ æèâîòíûõ.
Èçâåñòíî, ÷òî1. Ó ïîëÿêà êðàñíûé äîì. 2. Íåìåö êóðèò Rothmans.3. Êóðèëüùèê Marlboro æèâåò ðÿäîì ñ òåì, êòî äåðæèò êîøêó.4. Ôèíí ïüåò ÷àé. 5. Êóðèëüùèê Camel äåðæèò ïîïóãàÿ.6. Çåëåíûé äîì ñòîèò ñëåâà îò áåëîãî.7. Êóðèëüùèê Kent ïüåò ïèâî. 8. Ãðåê æèâåò â ïåðâîì äîìå.9. Âëàäåëåö ëîøàäè æèâåò ðÿäîì ñ òåì, êòî êóðèò Dunhill.10. Õîçÿèí ñðåäíåãî äîìà ïüåò ìîëîêî.11.
Õîçÿèí æåëòîãî äîìà êóðèò Dunhill.12. Õîçÿèí çåëåíîãî äîìà ïüåò êîôå.13. Øâåä äåðæèò ñîáàêó. 14. Ãðåê æèâåò îêîëî ãîëóáîãî äîìà.15. Êóðèëüùèê Marlboro æèâåò ðÿäîì ñ òåì, êòî ïüåò âîäó.Êîìó ïðèíàäëåæèò çîëîòàÿ ðûáêà?ÊÎÍÅÖ ËÅÊÖÈÈ 1..
