Если предикат истинен во всех состояниях, в которых он определен, то он называется:

Правильный ответ:

• # Для языка Java компилятор строит так называемый:
• # При изображении полиэдра реально рисуются:
• # Ограничение на использование кванторов в предикатах таково:
• # Объектно-ориентированное проектирование в значительной мере помогает справиться со сложностью задач типа больших проектов, позволяя свести их к решению:
• # В данной программе:import java.io.*; public class ABCDSeq { public static void main(String[] args) { DataInputStream in = new DataInputStream(System.in); int f = 0, n = 0; try { while (true) { char x = (char)in.readByte(); if (x=='\n') continue; if (x=='d' && n==3) { f += 1; n = 0; } else if (x=='c' && n==2) { n = 3; } else if (x=='b' && n==1) { n = 2; } else if (x=='a') { n = 1; } else{ n = 0; } } } catch(Exception e) { Xterm.println("f = " + f); } } }символ '\n' оказывается введенным после того, как пользователь нажимает клавишу: