About: dbkwik:resource/8vSUvDbvfRKlW9C3b1qycA==

Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbkwik:resource/8vSUvDbvfRKlW9C3b1qycA== Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

Attributes	Values
rdfs:label	Принцип Маркова
rdfs:comment	Принцип Маркова — один из основных принципов логики конструктивной математики, сформулированный в начале 1950-х годов А. А. Марковым. Известен также под названиями «ленинградский принцип» и «принцип конструктивного подбора». Представляет собой ослабленный вариант закона двойного отрицания. Формулировка принципа состоит в следующем: Способ построения искомого числа состоит в последовательном переборе натуральных чисел, начиная с нуля, причём на каждом шаге процесса посредством алгорифма устанавливается, обладает ли рассматриваемое число свойством . .
dcterms:subject	dbkwik:resource/TgRp1JNE2qUPlm_xNDK6Nw==
dbkwik:ru.math/pro...iPageUsesTemplate	dbkwik:resource/8oLn26QH1-edmK7KxGZzkA== dbkwik:resource/JmTyeEdCEnmXQnTpzH8D-g==
abstract	Принцип Маркова — один из основных принципов логики конструктивной математики, сформулированный в начале 1950-х годов А. А. Марковым. Известен также под названиями «ленинградский принцип» и «принцип конструктивного подбора». Представляет собой ослабленный вариант закона двойного отрицания. Формулировка принципа состоит в следующем: Способ построения искомого числа состоит в последовательном переборе натуральных чисел, начиная с нуля, причём на каждом шаге процесса посредством алгорифма устанавливается, обладает ли рассматриваемое число свойством . С использованием формальных языков конструктивной математической логики (например, ступенчатой семантической системы Маркова) принцип Маркова записывается следующим образом: .

OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software