Обобщение исчисления высказываний, позволяющие использовать параметры в высказываниях называется:

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

• # После второй мировой войны в СССР появилась машина на электронных лампах, которая называлась:
• # Правило, определяющее отношение ребенок/2 через отношение отец/2, в Прологе запишется следующим образом:
• # Символом табуляции в Ruby является:
• # В системе Maxima для получения обратной матрицы используется:
• # Классической системой с мелкозернистым параллелизмом является: