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 coq - Это страница 32 - GeneraCodice
Theorem Proofs in Coq
https://www.generacodice.com/ru/articolo/1489783/theorem-proofs-in-coq
coq
-
proof-assistants
-
automated-theorem-proving
-
mathematical-programming
cs.stackexchange
Как я могу упростить этот тип?
https://www.generacodice.com/ru/articolo/1385067/как-я-могу-упростить-этот-тип
types
-
functional-programming
-
coq
-
dependent-type
StackOverflow
Unable to find an instance for the variable
https://www.generacodice.com/ru/articolo/1381250/unable-to-find-an-instance-for-the-variable
coq
StackOverflow
Как делать случаи с индуктивным типом в COQ
https://www.generacodice.com/ru/articolo/1220208/как-делать-случаи-с-индуктивным-типом-в-coq
logic
-
coq
StackOverflow
В чем разница между «определением» и «индуктивным» в COQ?
https://www.generacodice.com/ru/articolo/1122963/в-чем-разница-между-определением-и-индуктивным-в-coq
coq
-
automated-theorem-proving
cs.stackexchange
Существует ли какая -либо работа по созданию реальной структуры теории числа/вероятностей в COQ?
https://www.generacodice.com/ru/articolo/1096815/существует-ли-какая-либо-работа-по-созданию-реальной-структуры-теории-числа-вероятностей-в-coq
coq
-
probability-theory
-
real-numbers
-
uncountability
cs.stackexchange
Полиморфизм и индуктивные типы данных
https://www.generacodice.com/ru/articolo/1092870/полиморфизм-и-индуктивные-типы-данных
logic
-
programming-languages
-
coq
-
inductive-datatypes
cs.stackexchange
Обучение автоматизированной теоремы доказывание
https://www.generacodice.com/ru/articolo/1092817/обучение-автоматизированной-теоремы-доказывание
logic
-
coq
-
proof-assistants
-
automated-theorem-proving
cs.stackexchange
Сохранить информацию при использовании индукции?
https://www.generacodice.com/ru/articolo/1060430/сохранить-информацию-при-использовании-индукции
coq
StackOverflow
Использование наказания в определении рекурсивной функции
https://www.generacodice.com/ru/articolo/991931/использование-наказания-в-определении-рекурсивной-функции
formal-methods
-
coq
-
coq-plugin
StackOverflow
«
29
30
31
32
33
34
»
Результаты найдены: 331