From professional translators, enterprises, web pages and freely available translation repositories.
greedy quantifiers
gulzige parameters
Last Update: 2019-05-31
Usage Frequency: 1
Quality:
reluctant (non-greedy) quantifiers
weigerachtige (niet-gulzige) parameters
Last Update: 2019-05-31
Usage Frequency: 1
Quality:
similarly, in classical first-order logic, one of the quantifiers can be defined in terms of the other and negation.
in de klassieke wiskunde gaat men ervan uit dat men ook oneindige verzamelingen zoals formula_1 in één keer kan overzien.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
charles sanders peirce built upon the work of boole to develop a logical system for relations and quantifiers, which he published in several papers from 1870 to 1885.
charles peirce ging verder met het werk van boole en ontwikkelde en publiceerde een logisch systeem voor relaties en kwantoren.
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
gottlob frege presented an independent development of logic with quantifiers in his "begriffsschrift", published in 1879, a work generally considered as marking a turning point in the history of logic.
gottlob frege publiceerde in 1879 een eigen uitwerking van de logica met kwantoren in zijn "begriffsschrift".
Last Update: 2016-03-03
Usage Frequency: 1
Quality:
Warning: Contains invisible HTML formatting