Translation for "päättelyketjut" to english

Päättelyketjut

• derivations
• chains of reasoning

Translation examples

derivations

Osta rakenteisia päättelyketjuja käsittelevät oppikirjat Amazonista.
Buy textbooks on structured derivations on Amazon.

Rakenteiset päättelyketjut tekevät matemaattisen ratkaisun loogisen rakenteen näkyväksi.
Structured derivations make the structure of mathematical reasoning clearly visible.

Four Ferries Publishing tarjoaa kaksi oppikirjaa rakenteisiin päättelyketjuihin liittyen.
Four Ferries Publishing offers two textbooks on structured derivations.

Jokaiseen päättelyketjun askeleeseen vaaditaan sanallinen perustelut, mikä auttaa lukijaa ymmärtämään askeleen.
The verbal justifications required for each derivation step helps the reader to understand why each step is correct.

Toinen kirja on rakenteisten päättelyketjujen käsikirja, jossa käsitellään sekä itse menetelmää että sen logiikan perusteita.
The second book is a handbook on structured derivations, covering both the method and its logical foundation.

Rakenteisia päättelyketjuja voidaan käyttää kaikenlaisiin matemaattisiin päättelyihin: laskuihin, yhtälönratkaisuun, lausekkeiden sieventämiseen, teoreemojen todistamiseen ja niin edelleen.
Structured derivations can be used for all kinds of mathematical arguments: computatioms, equation solving, simplifications and theorem proving.

Kirjoissa käytetään rakenteisia päättelyketjuja esittämään erilaisia matemaattisia ratkaisuja kuten laskuja, todistuksia, geometrisia ratkaisuja ja yleistä ongelmanratkaisua.
The books all use structured derivations for presenting different kinds of mathematical arguments, like proofs, calculations, geometric constructions, and

Kirjassa käydään läpi miten päättelyketjuja rakennetaan niin että päättelyn rakenne on helposti nähtävissä ja helppo ymmärtää.
It shows how to structure a mathematical derivation so that it is easy to see the overall structure of the argument.

Ralph-Johan Back ja Joakim von Wright kehittivät rakenteiset päättelyketjut alunperin 1990-luvun lopussa Edsger W. Dijkstran, Wim Feijenin ja Nettie van Gasterenin 1980-luvulla tekemän tutkimuksen pohjalta.
The structured derivation format, on which many of the company products are bsed, was originally developed by Ralph-Johan Back and Joakim von Wright in the late 1990s, based on earlier ides by Edsger W. Dijkstra, Wim Feijen and Nettie van Gasteren on calculational proofs in the 1980s.