Вопросы с тегом CTL - PullRequest

Вопросы с тегом CTL

1 голос
1 ответ

Проблема Учитывая две логические функции f1(a,b) и f2(a,b,c) с логическими значениями a, b и c, я...

f1f2 / 28 октября 2019
0 голосов
0 ответов

Я хочу знать, когда мы используем ctl или ltl для определения свойств Есть ли пример, показывающий...

sam / 10 июня 2019
1 голос
1 ответ

Я начал изучать NuSMV в эти дни. У меня есть этот код: MODULE main VAR state: {a,b,c,d,e}; ASSIGN...

sam / 29 мая 2019
0 голосов
0 ответов

Я получаю сообщение об ошибке «Терминатор не найден после поля TERMINATED и ENCLOSED» в утилите...

Gio Italy / 05 марта 2019
0 голосов
1 ответ

Формула следующая: AF A[(p U q) --> (r U q)] Ответ - нет, но почему? Сказано, что недопустимая...

ProfomStat / 09 января 2019
0 голосов
1 ответ

Дайте мне знать, как удалить пустую строку, используя sqlldr, ctl. И я хочу знать, как удалить...

Jewel / 06 января 2019
0 голосов
2 ответов

У меня есть старый проект VB6, который использует пользовательский элемент управления CTL. Я вижу...

Jortx / 29 октября 2018
0 голосов
0 ответов

У меня проблема с тем, что сторонний модуль в DNN перейдет на другой скин, когда вы нажмете...

Tig7r / 18 мая 2018
2 голосов
3 ответов

Допустим, в моей базе данных 4 столбца: Column1, Column2, Column3, Column4 Мой файл данных - это...

kenny / 08 февраля 2012
2 голосов
4 ответов

Если вы не знакомы с LTL (линейная временная логика), пропустите этот вопрос!И да, LTL очень важен...

CODe / 09 апреля 2011
0 голосов
1 ответ

Я использую файл CTL для загрузки данных, хранящихся в файле, в конкретную таблицу в моей базе...

Hal / 29 декабря 2010
4 голосов
2 ответов

Мне нужна помощь, чтобы понять, что происходит с моим веб-приложением. У меня есть простое...

GRGodoi / 26 августа 2009
1 голос
2 ответов

Я хотел бы перейти с Oracle на MySQL, и один из важных шагов - заменить реальное задание, созданное...

Miguel A. Friginal / 02 декабря 2008
4 голосов
3 ответов

Мне нужно создать CTL для использования с IIS7. Я сгенерировал файл CTL с помощью MakeCTL (в Win2k3...

Miguel A. Friginal / 28 ноября 2008
0 голосов
1 ответ

как я могу импортировать данные из базы данных Oracle в базу данных MySQL с помощью файла CTL...

Miguel A. Friginal / 20 ноября 2008
Для получения более полной информации посмотрите в списке вопросов или в популярных тегах.
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...