Keywords: تئوری محاسبه پذیری; 03D32; 68Q30; 03D30; 03D80; Computability theory; Coarse computability; Gamma question;
مقالات ISI تئوری محاسبه پذیری (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: تئوری محاسبه پذیری; 03D80; 03B30; 03D30; 05D10; Computability theory; Effective combinatorics; Weihrauch reducibility; Reverse mathematics;
Keywords: تئوری محاسبه پذیری; Computable analysis; Weihrauch lattice; Computability theory; Reverse mathematics; Randomized algorithms
Generics for computable Mathias forcing
Keywords: تئوری محاسبه پذیری; 03D80; 03E40; 03D32; 03E75; Effective forcing; Mathias forcing; Computability theory;
Martin-Löf randomness and Galton–Watson processes
Keywords: تئوری محاسبه پذیری; primary, 03D32, 68Q30; secondary, 60C05Random closed sets; Computability theory
A Banach-Mazur computable but not Markov computable function on the computable real numbers
Keywords: تئوری محاسبه پذیری; 03F60; 26E40; 03D80; Computability theory; Computable analysis; Computable real numbers; Computable functions on real numbers;