Тема: Факультет прикладной математики, информатики и механики (ПММ)
Показать сообщение отдельно
Старый 26.11.2004, 09:58   #307   
Форумец
 
Сообщений: 66
Регистрация: 24.11.2004
Возраст: 38

softer вне форума Не в сети
и хотят на переменную почки навешать кванторов
по самую булеву функцию с предикатом
  Ответить с цитированием