en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag mathematical-foundations - This is page 4 - GeneraCodice
How many prefix code we can find for a given distribution of probability?
https://www.generacodice.com/en/articolo/1604687/how-many-prefix-code-we-can-find-for-a-given-distribution-of-probability
information-theory
-
probability-theory
-
coding-theory
-
mathematical-foundations
cs.stackexchange
What is the relation between the quantity of information of $A_i$ and $A$, where $A=\bigcup_iA_i$?
https://www.generacodice.com/en/articolo/1604488/what-is-the-relation-between-the-quantity-of-information-of-a-i-and-a-where-a-bigcup-ia-i
information-theory
-
probability-theory
-
mathematical-foundations
cs.stackexchange
Do any programming languages use general recursive functions as their basis?
https://www.generacodice.com/en/articolo/1601301/do-any-programming-languages-use-general-recursive-functions-as-their-basis
programming-languages
-
church-turing-thesis
-
mathematical-foundations
cs.stackexchange
Syntax of recurrence formula not clear
https://www.generacodice.com/en/articolo/1597966/syntax-of-recurrence-formula-not-clear
notation
-
recurrence-relation
-
mathematical-foundations
cs.stackexchange
How to represent a map data structure mathematically
https://www.generacodice.com/en/articolo/1597667/how-to-represent-a-map-data-structure-mathematically
type-theory
-
notation
-
mathematical-foundations
cs.stackexchange
Compute growth of function [closed]
https://www.generacodice.com/en/articolo/1593218/compute-growth-of-function-closed
mathematical-foundations
cs.stackexchange
Mathematical proofs implemented purely by Lambda Calculus
https://www.generacodice.com/en/articolo/1592989/mathematical-proofs-implemented-purely-by-lambda-calculus
lambda-calculus
-
proof-techniques
-
mathematical-foundations
cs.stackexchange
Why algorithms calculating non-tirivial zeros can't be used as proofs of Riemann Hypothesis?
https://www.generacodice.com/en/articolo/1592842/why-algorithms-calculating-non-tirivial-zeros-can-t-be-used-as-proofs-of-riemann-hypothesis
first-order-logic
-
curry-howard
-
proof-techniques
-
propositional-logic
-
mathematical-foundations
cs.stackexchange
How does maths consistency impacts on computer science?
https://www.generacodice.com/en/articolo/1591808/how-does-maths-consistency-impacts-on-computer-science
logic
-
mathematical-foundations
cs.stackexchange
Is there a formalization of the computational model for quantum computers?
https://www.generacodice.com/en/articolo/1588760/is-there-a-formalization-of-the-computational-model-for-quantum-computers
quantum-computing
-
computation-models
-
mathematical-foundations
cs.stackexchange
«
1
2
3
4
5
6
»
Results found: 102