Pусский
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Полные статьи
Категории
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Ты пишешь
Пользователь
Авторизоваться
Постановка на учет
Восстановление пароля
Теги
Языковые теги
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag computability - Это страница 3 - GeneraCodice
Делать языки в $ \ mathsf {Core} \ setminus \ mathsf {r} $ @ Turing Machines?
https://www.generacodice.com/ru/articolo/2479180/делать-языки-в-mathsf-core-setminus-mathsf-r-turing-machines
turing-machines
-
computability
cs.stackexchange
Доказательство того, что языки - узнаваемый Turging IFF, вычисляемо
https://www.generacodice.com/ru/articolo/2478947/доказательство-того-что-языки-узнаваемый-turging-iff-вычисляемо
enumeration
-
turing-machines
-
computability
-
formal-languages
cs.stackexchange
алгоритм проверки удовлетворения
https://www.generacodice.com/ru/articolo/2476884/алгоритм-проверки-удовлетворения
complexity-theory
-
computability
-
satisfiability
-
np
-
3-sat
cs.stackexchange
Имеет ли термин «непрерывность» разное значение в математике и информатике?
https://www.generacodice.com/ru/articolo/2476469/имеет-ли-термин-непрерывность-разное-значение-в-математике-и-информатике
terminology
-
computability
cs.stackexchange
Какова «непрерывность» как термин в вычислимом анализе?
https://www.generacodice.com/ru/articolo/2476279/какова-непрерывность-как-термин-в-вычислимом-анализе
computability
-
topology
-
mathematical-analysis
-
computable-analysis
cs.stackexchange
Какова актуальность вычислимости при нанесении диагонализации?
https://www.generacodice.com/ru/articolo/2475793/какова-актуальность-вычислимости-при-нанесении-диагонализации
computability
-
proof-techniques
cs.stackexchange
For an NFA, can we always find a RAM?
https://www.generacodice.com/ru/articolo/2475099/for-an-nfa-can-we-always-find-a-ram
complexity-theory
-
computability
-
finite-automata
-
discrete-mathematics
-
formal-languages
cs.stackexchange
Что такое минимизация (μ-функция) в реаменте TEMS?
https://www.generacodice.com/ru/articolo/2472699/что-такое-минимизация-μ-функция-в-реаменте-tems
computability
cs.stackexchange
Что не так с этим «доказательством», что $ \ mathbb {r} $ перечисляется?
https://www.generacodice.com/ru/articolo/2472636/что-не-так-с-этим-доказательством-что-mathbb-r-перечисляется
enumeration
-
computability
-
real-numbers
-
uncountability
cs.stackexchange
Почему этот язык устанавливает узнаваемый и не заметимый
https://www.generacodice.com/ru/articolo/2472511/почему-этот-язык-устанавливает-узнаваемый-и-не-заметимый
complexity-theory
-
turing-machines
-
computability
-
undecidability
cs.stackexchange
«
1
2
3
4
5
6
»
Результаты найдены: 1630