Список форумов Форум проекта Дельта технология

Форум проекта Дельта технология

Создаем технологию развития больших систем.
 
 FAQFAQ   ПоискПоиск   ПользователиПользователи   ГруппыГруппы   РегистрацияРегистрация 
 ПрофильПрофиль   Войти и проверить личные сообщенияВойти и проверить личные сообщения   ВходВход 

4.4.1. Структурные основы исчисления предикатов

 
Начать новую тему   Ответить на тему    Список форумов Форум проекта Дельта технология -> 4.4. Исчисление предикатов
Предыдущая тема :: Следующая тема  
Автор Сообщение
borismb



Репутация: 0    

Зарегистрирован: 28.10.2010
Сообщения: 228
Откуда: Юрмала

СообщениеДобавлено: Чт Ноя 18, 2010 7:30 pm    Заголовок сообщения: 4.4.1. Структурные основы исчисления предикатов Ответить с цитатой

Универсальный характер фреймов и конкретов позволяет представить предикатные переменные в рамках прежде всего концептуальных конкретов и набора специальных фреймов Ф75[ЕСТЬ ТАКОЙ] и Ф76[ДЛЯ ВСЕХ] и тем самым заложить основу для реализации процедур исчисления предикатов.
Вернуться к началу
Посмотреть профиль Отправить личное сообщение Посетить сайт автора
Показать сообщения:   
Начать новую тему   Ответить на тему    Список форумов Форум проекта Дельта технология -> 4.4. Исчисление предикатов Часовой пояс: GMT
Страница 1 из 1

 
Перейти:  
Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете голосовать в опросах


Powered by phpBB © 2001, 2005 phpBB Group
Вы можете бесплатно создать форум на MyBB2.ru, RSS