Вопросы с тегом: математическая логика

                                                    Вопросы

                                                                                    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

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

                                                                                    ngerhold

                                                                        Новичок

                                                                    Сколько племен эльфов, гномов и орков обитает на далекой планете, если известно следующее:

  У любого племени эльфов среди всех соседних племен в 4 проживают другие эльфы, в 3 проживают гномы, в 2 орки;
  У любого племени гномов среди всех соседних племе...

                                                                        Математика
                                                                        Колледж
                                                                                                                                                Системы линейных уравнений

                                                                     40

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

                                                                                    reta49

                                                                        Новичок

                                                                    В классе учатся N школьников: среди них есть отличники и 8 хулиганов. Отличники всегда говорят правду, а хулиганы всегда врут. Однажды все ученики собрались за круглый стол и каждый из них заявил: «Как минимум треть из вас — хулиганы!» Какое значение може...

                                                                        Математика
                                                                        11 класс
                                                                                                                                                Логика и комбинаторика

                                                                     40

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

                                                                                    fheathcote

                                                                        Новичок

 Эквивалентность может обозначаться как:  

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

                                                                     50

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

                                                                                    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

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

                                                                                    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

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

                                                                                    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

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

                                                                                    ystrosin

                                                                        Новичок

                                                                    Докажите, что если число 3a + 2b делится на 17, то и число 10a + b делится на 17. Является ли это утверждение обратным верным?

                                                                        Алгебра
                                                                        8 класс
                                                                                                                                                Делимость чисел

                                                                     48

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

                                                                                    vkozey

                                                                        Новичок

                                                                    Лала сейчас в 4 раза младше своей мамы. Через год отец Лалы будет в 4 раза старше неё. Отцу Лалы сейчас 39 лет. Сколько лет маме Лалы сейчас? Подсказка: Сначала найди текущий возраст Лалы.

                                                                        Математика
                                                                        7 класс
                                                                                                                                                Системы уравнений

                                                                     15

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

                                                                                    merlin64

                                                                        Новичок

                                                                    Рыбак поймал рыбу. Он сказал, что хвост рыбы весит 1 кг, голова весит столько же, сколько хвост и половина туловища, а туловище весит столько, сколько голова и хвост вместе. Сколько весит рыба?

                                                                        Математика
                                                                        4 класс
                                                                                                                                                Уравнения и системы уравнений

                                                                     25

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

                Назад

                                                                        1
                                                                                2

                            ...

                                                                        16
                                                                                17
                                                                                18

                            ...

                                                                        49
                                                                                50

                Вперед