Von professionellen Übersetzern, Unternehmen, Websites und kostenlos verfügbaren Übersetzungsdatenbanken.
he introduced the concepts of completeness and consistency in a paper on truth-table methods which developed from the work of his doctoral thesis.
ta tutvustas mõistete täielikkuse ja järjekindluse raamatu tõde laua meetodeid, mis arenenud tööd oma doktoriväitekirja.
for testing integrated circuits capable of performing functional (truth table) testing at a 'pattern rate' of more than 333 mhz;
integraallülituste testimiseks, mis on võimelised sooritama funktsionaalset testimist tõeväärtustabelitega, näidiste esitamise kiirusega üle 333 mhz;
for testing integrated circuits capable of performing functional (truth table) testing at a 'pattern rate' of more than 667 mhz;
integraallülituste testimiseks, mis on võimelised sooritama funktsionaalset testimist tõeväärtustabelitega, näidisteesitamisekiirusega üle 667 mhz;
he then generalised his truth table method, which was based on the two values "true" and "false", to a method which had an arbitrary finite number of truth values.
seejärel üldiste oma tõe tabel meetodit, mis põhineb kahe väärtuse "tõene" ja "vale", et meetod, mis oli suvalise hulga tõe väärtust.
in this work frege presented for the first time what we would recognise today as a logical system with negation, implication, universal quantification, essentially the idea of truth tables etc., but what would not be recognisable today is the notation which frege used.
selles töös frege esitati esimest korda, mida me tunnustada täna loogiline süsteem, eitus, mõju universaalteenuse kvantitatiivne sisuliselt ideed tõde lauad jne, kuid mida ei oleks äratuntav praegu on märke, mis frege kasutada.