Всем доброго времени суток!
Проходим теорию вычислительных процессов.
Есть вопросы по чтению обозначении в некоторых математических высказываниях.

  1. Асинхронный процесс.

     Назначение инициаторов:
    

    $$( \forall i \in I)[ \exists s \in S: iFs]$$

$$( \forall i \in I)[ \neg (\exists s \in S \backslash I): sFi]$$

    Назначение результантов:

$$( \forall r \in R)[ \exists s \in S: sFr]$$ $$( \forall r \in R)[ \neg (\exists s \in S \backslash R): rFs]$$

Как это объяснить. "Для любого" и "существует" мне знакомо. А про остальное как сказать? И как научиться читать математические высказывания. Где можно почитать про это?

задан 5 Фев '14 19:38

изменен 6 Фев '14 21:37

Deleted's gravatar image


126

1

Здесь рассматривается некоторое отношение (смысл его не важен), в котором могут находиться или не находиться какие-то объекты. Первое высказывание можно прочитать словами так: "для всякого $%i$% из множества $%I$% существует $%s$% из $%S$% такой, что $%i$% находится в отношении $%F$% с $%s$%". Вообще говоря, в математической логике принята запись в виде двуместного предиката -- типа $%F(i,s)$%. В прикладных дисциплинах $%F$% может иметь какое-то конкретное назначение, но форма записи и способ чтения от этого по идее не зависит.

В формулах со знаком $%\neg$% добавляется "не".

(5 Фев '14 20:30) falcao

Спасибо за объяснение! А нужно то было всего лишь открыть книгу Варшавского Автоматное управление асинхронными процессами в ЭВМ и дискретных системах.

(5 Фев '14 21:54) AQZ
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×1,699

задан
5 Фев '14 19:38

показан
511 раз

обновлен
5 Фев '14 22:03

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru