0
голосов
0
ответов
23 показа

В русскоязычной Википедии понятие «‎формальная система» определяется как‎ результат строгой формализации теории, предполагающей полную абстракцию от с ...
1
голос
0
ответов
79 показов

Вам надлежит выбрать себе в невесту одну из трёх сестер А,В и С. Известно, что одна из них рыцарь, одна - лжец и одна нормальный человек. Известно так ...
1
голос
0
ответов
96 показов

На столе в ряд стоят 23 шкатулки, в одной из которых находится приз. На каждой шкатулке написано либо «Здесь приза нет», либо «Приз в соседней шкатулк ...
0
голосов
0
ответов
87 показов

найти число структур соответствующей сигнатуры на универсе из n элементов, в которых истинны следующие предложения: существует x[P(x)->S(x)]
0
голосов
1
ответ
75 показов

Найти число структур соответствующей сигнатуры на универсе из n элементов, в которых истинны следующие предложения. Если не выводится общая формула, т ...
0
голосов
1
ответ
190 показов

Пусть U– множество точек плоскости. Рассмотрим два предиката. B(a,b,c): точки a,b,c –лежат на прямой, причем b между a и c. D(a,b,c,d) – расстояние |a ...
0
голосов
0
ответов
85 показов

Почему каждая полная рекурсивно-перечислимая теория первого порядка разрешима?
0
голосов
0
ответов
110 показов

@falcao, помогиПочему конечно аксиоматизируемая полная теория в конечной сигнатуре разрешима?Попутно задам ещё три вопроса:1)Вроде как есть доказатель ...
2
голоса
1
ответ
164 показа

За круглым столом сидят 100 девочек. Каждая из них либо Таня, либо Оксана, либо Настя. Тани всегда говорят правду, Оксаны всегда лгут. Каждая Настя го ...
0
голосов
0
ответов
78 показов

Каждая из 25 учениц математического кружка либо всегда говорит правду, либо всегда лжёт. Известно, что каждая из них любит ровно один тип математическ ...
0
голосов
0
ответов
128 показов

Пожалуйста, помогите решить задачуВ явном виде опишите самосводимость в задаче поиска, соответствующей языкуEXACTTWO3SAT = {ϕ | ϕ — формула в виде 3-К ...
0
голосов
0
ответов
98 показов

В книге «Мера и интеграл» за авторством Дьяченко М. И., Ульянова П. Л., на странице №7, читаем следующее:Поскольку к настоящему времени не было обнару ...
0
голосов
0
ответов
86 показов

Докажите расстановку функций по увеличению скорости роста?1000000,4^(ln n)=n^(ln 4),10^6n^2,n^3/10,200e^nвторой пример привел в нормальный вид, а друг ...
0
голосов
0
ответов
142 показа

Задача с детским условием, но решается как-то сложно. Не могли бы вы пожалуйста помочь?Запишите формулу, выражающую приведенное ниже рассуждение, и пр ...
1
голос
1
ответ
1523 показа

2k кoмaнд cтyдeнтов coбрaлись пoигрaть в вoлeйбoл и рeшили cдeлaть paзныe тypниры. Пepвый тypнир oни игрaли тaк: cнaчалa cыгрaли пepвыe 2 кoмaнды, зaт ...
на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru