Examples with "type Mathematica" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Cela indique à l'installeur Mathematica, qui fait appel à la commande uname -s pour déterminer le système d'exploitation, de traiter FreeBSD comme un système d'exploitation de type Linux.
This tells the Mathematica installer, who calls uname -s to determine the operating system, to treat FreeBSD as a Linux-like operating system.
Les fichiers de ce type sont automatiquement associés aux applications du Wolfram Language, telles que Mathematica, sur les systèmes où les applications du Wolfram Language sont installées.
Files of this type are automatically associated with Wolfram Language applications, such as Mathematica, on systems where Wolfram Language applications are installed.
Il a publié une formulation de la simple théorie des types, en 1940, dans laquelle il a tenté de donner un système liée à celle de Russell et Whitehead's Principia Mathematica qui a été conçu pour éviter les paradoxes de la théorie des ensembles naïve.
He published A formulation of the simple theory of types in 1940 in which he attempted to give a system related to that of Whitehead and Russell's Principia Mathematica which was designed to avoid the paradoxes of naive set theory.
Maîtrisez les outils de base de Mathematica 1.1 Créez un 'notebook' 1.2 Créez une cellule 1.3 Changez de type de cellule 1.4 Éditez une cellule 2.
Handle the basic tools of Mathematica 1.1 Create a 'notebook' 1.2 Create a Cell 1.3. Change the type of a Cell 1.4 Edit a Cell 2.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
