Главная /
Введение в логику /
Какой из разделов математической логики позволяет формализовать рассуждения, учитывающие возможность появления событий?
Какой из разделов математической логики позволяет формализовать рассуждения, учитывающие возможность появления событий?
вопросПравильный ответ:
Логика предикатов
Логика высказываний
Темпоральная логика
Модальная логика
Сложность вопроса
85
Сложность курса: Введение в логику
49
Оценить вопрос
Комментарии:
Аноним
Спасибо за сайт
21 июн 2016
Другие ответы на вопросы из темы школа интуит.
- # Кто из философов воспитывал Александра Македонского?
- # Сколько существует логических функций без аргументов?
- # Какие утверждения относятся к логике высказываний?
- # Дан фрагмент таблицы истинности, определяющий некоторую функцию F(X1, X2, X3): X1X2X3F(X1, X2,X3)011010001011 Определить, какая из функций Fj совпадает с функцией F на заданном фрагменте таблицы истинности, если:
- # В реляционной базе данных хранится информация о проектной организации в трех таблицах: Сотрудники, Проекты, Разработчики. Таблица "Сотрудники" имеет 6 столбцов – задает отношение арности 6: ID сотрудникаФамилияИмяОтчествоотделДолжность1СоколовПетрНиколаевич1начальник2СоколоваАннаПетровна2программист3СиницынНиколайПетрович3старший программист4ЯстребовАнтонПетрович1архитектор5КоршуноваЕленаПетровна3старший программист6ЧижиковСергейЮрьевич1программист7ВоробьеваТатьянаАлександровна2архитектор8ГолубеваЛюбовьСергеевна2программист9ОрловВасилийСергеевич3программист Таблица "Проекты" имеет 2 столбца – задает отношение арности 2: ID проектаназвание проекта1Супер2Гром3Молния Таблица "Разработчики" имеет 2 столбца – задает отношение арности 2: ID Сотрудника111223344556788999ID проекта123132313131212123 К базе данных, хранящей информацию о проектной организации, можно обращаться с разными вопросами. Ответьте на следующий вопрос: "В каких проектах участвует Ястребов Антон Петрович?".