Cтраница 1
Следующий простой факт дает некоторое свидетельство в пользу того, что при описанном выше соответствии F-зависимостей и формул отношения следования для зависимостей и формул совпадают: все правила вывода для F-зависимостей переходят в корректные логические правила, если F-зависимости интерпретировать как пропозициональные формулы ( см. упр. [1]
Следующие простые факты часто оказываются полезными. [2]
Отметим следующий простой факт, важный для наших дальнейших приложений. [3]
Налицо имеется следующий простой факт: ограничения дикаря иные, чем ограничения цивилизованного человека. Сравнение, проводимое нашим святым между обоими, - фантастическое сравнение, достойное образованного берлинца, все образование которого заключается в том, что он ровно ничего не знает ни об одном из них. Понятно, что ему совсфшенно неизвестны ограничения дикаря, хотя после многочисленных новых книг, содержащих описания путешествий, не такая уж мудреная вещь знать что-нибудь об этом; но что ему неведомы также и ограничения образованного человека, доказывает его пример с железными дорогами и воздушными полетами. Бездеятельный мелкий буржуа, для которого железные дороги упали точно с неба и который поэтому-то и воображает, что он сам изобрел их, немедленно, после того как один раз прокатился по железной дороге иачинает фантазировать о воздушных полетах. [4]
В заключение отметим следующий простой факт, ко торый нам понадобится в дальнейшем. [5]
Важным для дальнейшего является следующий простой факт. [6]
Этот алгоритм основан на следующем простом факте. Из С - О ( п2) отрезков, определяемых точками с координатами ( xi yi), ребром выпуклой оболочки является тот и только тот отрезок, для которого все точки множества расположены по одну сторону от прямой, определенной этим отрезком. [7]
Здесь же нам понадобятся лишь следующие простые факты. [8]
В конце этого рассуждения использован следующий простой факт, который мы обобщим и формализуем. [9]
Из свойств частично рекурсивных функций вытекает следующий простой факт. [10]
Оправданием для изучения соответствия X - Хц является следующий простой факт. [11]
В связи со сказанным выше полезно иметь в виду следующий простой факт. [12]
Я привел это маленькое упражнение, чтобы указать на следующий простой факт: при манипуляции хорошо знакомыми символами, такими, как, мы не должны торопиться. Мы должны следовать правилам, а не нашему знанию пассивных значений символов. Тем не менее, это знание весьма ценно, чтобы помочь нам направить вывод по верному пути. [13]
Считать известные сейчас элементарные частицы подсобными неизменным атомам Демокрита мешает следующий простой факт. Ни одна из частиц не бессмертна. Большинство частиц, называемых сейчас элементарными, не могут прожить более двух миллионных долей секунды, даже в отсутствие какого-либо воздействия извне. Свободный нейтрон ( нейтрон, находящийся вне атомного ядра) живет в среднем 15 мин. [14]
Основой для анализа событий, происходящих почти наверное, является следующий простой факт. [15]