XWare Поиск по информационным ресурсам МГУ English Russian
       
       Точная форма слов   О проекте   Сайты   Помощь
Поиск по:   - Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_07_sheets/02_calc/index.html. Показаны документы 1 - 1 из 1.

1. Преобразование выражений
... Воспользуемся исчислением высказываний для решения следующих двух задач. ... Джек сказал: "Если Том не угонял автомобиля, то его угнал Боб". ... Кто угнал машину? ... А - "машину угнал Боб"; . ... Машину угнал Боб. ... Кто из людей A, B, C и D играет, а кто не играет в шахматы, если известно следующее: . ... a) Если A нарушил, то и B нарушил правила обмена валюты. б) Если B нарушил, то и C нарушил или A не нарушал. в) Если D не нарушил, то A нарушил, а C не нарушал. г) Если D нарушил, то и A нарушил...
[ Сохраненная копия ]  Ссылки http://uneex.mithril.cs.msu.su/static/AltDocs_informatika2/Book2/ch_07_sheets/01_logic/04_transforme/index.html -- 9.1 Кб -- 26.09.2011
[ Сохраненная копия ]  Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_07_sheets/01_logic/04_transforme/index.html -- 9.1 Кб -- 06.09.2008
Похожие документы


Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам

Комментарии, вопросы? Пишите: info@astronet.ru или сюда

Rambler's Top100 RFBR Яндекс цитирования