Раздел 5. 6.docx

  • docx
  • 29.04.2020
Публикация на сайте для учителей

Публикация педагогических разработок

Бесплатное участие. Свидетельство автора сразу.
Мгновенные 10 документов в портфолио.

Иконка файла материала Раздел 5. 6.docx

Раздел 5. 6

1.    Список может включать способы инициирования выполнения параллельных процессов и методы реализации обмена дан- ными между ними.

2.    Первые делают упор на процессах, а вторые – на данных. Вторые имеют преимущество, заключающееся в концен- трации задачи в единственной точке программы.

Раздел 5. 7

1.   


Высказывания R, Т и V. Например, мы можем показать, что высказывание R является следствием, посредством до- бавления его отрицания к совокупности высказываний и применения резолюции, которая может привести к пустому выска- зыванию, как показано ниже.

2.    Нет. Совокупность высказываний является противоречивой, поскольку резолюция может привести к пустому выска- зыванию, как показано ниже.