Вопросы с тегом: интеллектуальные информационные системы

                                                    Вопросы

                                                                                    yost.milan

                                                                        Новичок

 Найдите формулу, двойственную формуле ¬Ɐx(P(x)&→L(x)).¬Ɐx(P(x)¬L(x))¬Ǝx(P(x)→L(x))P(x)&¬ⱯxL(x)Ǝх(Р(х)&¬L(х))Ǝx(¬P(x)&L(x))Ɐx(P(x)&¬LX))

                                                                        Другие предметы
                                                                        Колледж
                                                                                                                                                Логика высказываний и предикатов

                                                                     14

                                                                                                                                                            Посмотреть ответы

                                                                                    hayes.rogelio

                                                                        Новичок

 Формулу исчисления предикатов ƎxⱯy(A(x)&C(x)&(S(x, y)vA(y))) необходимо привести к Сколемовской стандартной форме. Какой вариант преобразования будет правильным?ⱯyƎx(A(x)&C(x)&{S(x,y)vA(y)))Ɐx(A(x)&C(x)&(S(x, b)vA(b)))ƎX(A(x)&...

                                                                        Другие предметы
                                                                        Университет
                                                                                                                                                Логика предикатов

                                                                     48

                                                                                                                                                            Посмотреть ответы

                                                                                    ova.nienow

                                                                        Новичок

 Даны два дизъюнкта  D1 = P(x)v¬P(g(y))v¬ R(x)  и D2 = P(x)vQ(x, z).  Получить резольвенту этих дизъюнктов.   P(x)vP(g(y))v¬R(x)vQ(x. z)P(x)v¬R(gM)vQ(x. z)P(g(y))v¬R(x)vQ(g(y),z)P(x)v¬R(x)vQ(g(y),z)

                                                                        Другие предметы
                                                                        Университет
                                                                                                                                                Резолюция в логике предикатов

                                                                     25

                                                                                                                                                            Посмотреть ответы

                                                                                    cooper.renner

                                                                        Новичок

 Какие из приведенных четырёх формул логики предикатов представлены в пренексной нормальной форме (ПНФ)  1. Vx (C(x) & -O(x) ->3y (P(y) & S(x, y )))  2. 3x Vy (A(x) & C(x) & (S(x, y) v A(y)))  3. Vx (L(x) v A(x) V-O(x))  4. Vx (A(x)&am...

                                                                        Другие предметы
                                                                        Университет
                                                                                                                                                Логика предикатов

                                                                     28

                                                                                                                                                            Посмотреть ответы

                                                                                    shemar65

                                                                        Новичок

 Даны формулы ...  Какие из этих формул представлены в конъюнктивной нормальной форме?      1, 3 и 6. все формулы; все, кроме №5; все, кроме №3;

                                                                        Другие предметы
                                                                        Колледж
                                                                                                                                                Логические выражения и их нормальные формы

                                                                     31

                                                                                                                                                            Посмотреть ответы

                                                                                    omacejkovic

                                                                        Новичок

 Формулу ∃x ∀y (A(x) & C(x) & (S(x, y) ∨ ¬A(y)))  необходимо привести к Сколемовской стандартной форме.  Какой вариант преобразования будет правильным:   ∃x (A(x) & C(x) & (S(x, a) ∨ ¬A(a))) ∀у (A(x) & C(x) & (S(x, b) ∨ ¬A(b))) ∀y...

                                                                        Другие предметы
                                                                        Университет
                                                                                                                                                Логика предикатов

                                                                     50

                                                                                                                                                            Посмотреть ответы

                                                                                    alek.hyatt

                                                                        Новичок

 Две логические формулы, значения которых совпадают на всех интерпретациях, называются: тождественными; теоремами. выводимыми; общезначимыми; равносильными;

                                                                        Другие предметы
                                                                        Колледж
                                                                                                                                                Логика высказываний

                                                                     23

                                                                                                                                                            Посмотреть ответы

                                                                                    laila.veum

                                                                        Новичок

 Являются ли две приведенные формулы исчисления высказываний равносильными?  A&B&C∨ ¬B ∨B&¬(A∨¬C)) и ¬B∨C   Да Нет

                                                                        Другие предметы
                                                                        Колледж
                                                                                                                                                Логика высказываний

                                                                     17

                                                                                                                                                            Посмотреть ответы

                                                                                    demetris91

                                                                        Новичок

 Какие пары формул исчисления высказываний, приведенные ниже, не являются равносильными:  1. (A∨B) и ¬ (¬A&¬B)  2. (¬A&¬B) и ¬(A∨B)  3. A⟶B и ¬(A∨¬B)  4. (A⟶B) и ((¬A⟶B)⟶B)  5. А ∨B и (¬B⟶ ¬A)   1, 4, и 5 Все пары формул равносильны 2 и 3 3 и 5 1...

                                                                        Другие предметы
                                                                        Университет
                                                                                                                                                Логика высказываний

                                                                     47

                                                                                                                                                            Посмотреть ответы

                                                                                    abeatty

                                                                        Новичок

 Установите соответствие свойств, которыми обладают хранилища данных как специализированные базы данных, и характеристик данных свойств:A. Предметная ориентированностьB. ИнтегрированностьC. НеизменяемостьD. в хранилище содержатся данные, всесторонне опис...

                                                                        Другие предметы
                                                                        Колледж
                                                                                                                                                Хранилища данных

                                                                     50

                                                                                                                                                            Посмотреть ответы

                Назад

                                                                        1
                                                                                2

                            ...

                                                                        20
                                                                                21
                                                                                22

                            ...

                                                                        33
                                                                                34

                Вперед

Портал edu4cash: Что это и как работает?.

Как быстро получить ответ от ИИ.

Как задонатить в Roblox в России в 2024 году.

Обновления на edu4cash – новые награды, улучшенная модерация и эксклюзивные возможности для VIP!.

Вопросы