Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
greedy quantifiers
gulzige parameters
Ultimo aggiornamento 2019-05-31
Frequenza di utilizzo: 1
Qualità:
reluctant (non-greedy) quantifiers
weigerachtige (niet-gulzige) parameters
Ultimo aggiornamento 2019-05-31
Frequenza di utilizzo: 1
Qualità:
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.
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:
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.
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:
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".
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta