Головна

II. Правила побудови формул ІВ

  1.  I. Загальні принципи побудови І ФУНКЦІОНУВАННЯ кроків і декадно-крокова АТС
  2.  I. ФІЛОСОФСЬКІ ФОРМУЛИ ДИЯВОЛА
  3.  II. Основні правила ведення бухгалтерського обліку
  4.  II. Правила самомасажу.
  5.  II. Правила самомасажу.
  6.  II. Правила самомасажу.

Формули ІВ визначаються індуктивно, Т. Е. Вказуються неподільні атомні формули, правила, за якими з заданих формул складаються нові, і постулюється, що ніяких формул, крім тих, які є такими згідно зазначених вимог, немає.

Домовимося позначити в метамові довільні формули ІВ рукописними великими літерами з початку латинського алфавіту: А, в, з, D , ...

1. кожна окремо взята пропозіціональная буква є формулою ІВ.

2. а) Якщо слово А є формулою ІВ, то слово OА - Теж формула ІВ.

б) Якщо слова А и В є формулами ІВ, то слово (А?В), де знак ? позначає в метамові довільну двомісну зв'язку з прийнятого списку основних зв'язок ІВ, - теж формула ІВ.

3. Слово із символів ІВ є формулою ІВ тоді, і тільки тоді, коли воно є такою згідно з раніше сформульованим правилам. При введенні нових двомісних зв'язок в скороченнях в метамови для відповідних формул мови-об'єкта, скорочення записують у вигляді, погодився із зазначеними правилами побудови формул.

У метамові допускають скорочення числа дужок, що використовуються під час запису формул; так, звичайно опускають зовнішні дужки і деякі інші, на підставі угоди про пріоритет логічних зв'язок, визначаючи його місцем зв'язок в послідовності

O, U, ?, U:

з двох даних зв'язок в запису зі скороченим числом дужок першої діє зв'язка розташована ближче до початку списку. При відновленні дужок, для даного знака шукаються найближчі подслова є формулами і утворюють разом зі знаком подсловом, що є формулою з опущеними зовнішніми дужками.

Правила побудови формул ІВ сформульовані так, що можна вказати алгоритм, що дозволяє по кожному знакосочетаній із символів ІВ з'ясувати, є воно формулою ІВ чи ні.




 Побудова графіків функцій за допомогою елементарних рухів. |  Метод перерізів при вирішенні завдань з параметром. |  Завдання для вирішення |  Real numbers |  Перерізі множини раціональних чисел. |  Порівняння перерізів множно раціональних чисел. |  Теореми про апроксімацію дійсніх чисел раціональнімі. |  Теорема Дедекінда (непрерівність множини дійсніх чисел). |  Додавання дійсніх чисел |  Product of Real Numbers |

© 2016-2022  um.co.ua - учбові матеріали та реферати