Вы здесь

Главная

логика

Связанные издания:

Недетерминированные схемы программ и динамические логики
Неразрешимые свойства суперинтуиционистских логик
Нечеткая логика и процесс обучения
Об ие знания в хорошо структурированных системах с абсолютной памятью
Об одной пропозициональной логике с дополнительными операторами
О взаимосвязи двух семантик параллельных вычислений
О логиках процессов
О логике обобщенных процессов и ее взаимосвязи с сетевым описанием систем и процессов
О полноте с точностью до кодирования систем функций конечнозначных логик
О программных логиках - просто
О пропозициональной динамической логике с зацикливанием
От логики к программированию (ПРОЛОГ в курсе информатики)
О трудоёмкости задачи расшифровки монотонных функций конечнозначной логики
П -universality of some propositional logics of concurrent programs
Подход Колмогорова и Геделя к интуиционистской логике и работы последнего десятилетия в этом направлении
Полиномиальные представления и замкнутые классы функций к-значной логики
Преступники и автоматы
Применение временной логики к спецификации программ
Применение темпоральной логики для спецификации поведения программных систем
Проблема функциональной полноты для мета-алгебр регулярных событий
Проблемы логики
Программные логики и их применение к исследованию свойств процессов недетерминированных программ
Разработка семантической модели данных на основе логики естественного языка
Рассуждения на основе знаний и мнений
Реализация реинжиниринга программных logacy-систем
Семантика и алгоритмическая логика для программ с операторами перехода
Сигма-программирование и теория равенства Кларка
Симметрическая конструктивная логика и некоторые её приложения
Синтез функций непрерывной логики, заданных таблично
Система аналитических вычислений АПАЛ-РК: предпосылки, разработка, применения
Схемы недетерминированных программ и их отношение к динамической логике
Схемы недетерминированных программ и их применение к динамической логике
Темпоральная логика действий
Теория вычислений с оракулами и рекурсивных иерархий
Теория и методология программирования
Теория и методология программирования
Теория и практика алгебры логики
Теория семантического программирования
Тождества в системах алгоритмических алгебр и их отношение к динамической логике
Третий Сибирский конгресс по прикладной и индустриальной математике (ИНПРИМ-98), посвящённый памяти С.Л. Соболева. Тезисы докладов. Часть V
Условия в вычисляемых полях в отчетах и формах Paradox
Эффективная поддержка баз данных с онтологическими зависимостями: реляционные языки вместо дескриптивных логик
Эффективные алгоритмы проверки выполнимости формул темпоральной логики CTL на модели и их применение для верификации параллельных программ