Вариант исчисления высказываний - исчисление:

вопрос

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

Оставить комментарий

Отправить

• # Если T1, T2 - теории сигнатуры с равенством, то:
• # Если A и B - полные наборы булевых функций, то для любой функции:
• # Количество всех различных -местных схем размера оценивается:
• # Верна формула:
• # Выразимые в арифметике Пресбургера предикаты - это бескванторные формулы из: