Наукова періодика України Системи управління, навігації та зв'язку


Шабанов-Кушнаренко С. Ю. 
О предикатной формализации кванторов / С. Ю. Шабанов-Кушнаренко, Л. В. Шабанова-Кушнаренко // Системи управління, навігації та зв'язку. - 2016. - Вип. 3. - С. 67-70. - Режим доступу: http://nbuv.gov.ua/UJRN/suntz_2016_3_15
Рассмотрены представления кванторов многоместных предикатов, кванторов конечных предикатов в виде логических произведений и сумм, тождественные преобразования формул с кванторами в исчислении предикатов.
  Повний текст PDF - 516.652 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Шабанов-Кушнаренко С.
  • Шабанова-Кушнаренко Л.

  • Бібліографічний опис для цитування:

    Шабанов-Кушнаренко С. Ю. О предикатной формализации кванторов / С. Ю. Шабанов-Кушнаренко, Л. В. Шабанова-Кушнаренко // Системи управління, навігації та зв'язку. - 2016. - Вип. 3. - С. 67-70. - Режим доступу: http://nbuv.gov.ua/UJRN/suntz_2016_3_15.

    Додаткова інформація про автора(ів) публікації:
    (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  • Шабанов-Кушнаренко Сергій Юр'євич (технічні науки)
  • Шабанова-Кушнаренко Любов Володимирівна (технічні науки)
  •   Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського