Approaches to Finite Variable Debence (Pehmeäkantinen kirja)

  • bvseo_sdk, java_sdk, bvseo-3.2.0
  • CLOUD, getContent, 147ms
  • REVIEWS, PRODUCT
  • bvseo-msg: The resource to the URL or file is currently unavailable.;
+ / - Hover over image to Zoom
Verkkokaupassa:
51,74

Maksa erissä alk. 5,00 € / kk

Saatavuus:

Toimitusaika 3 - 14 arkipäivää

Toimitustavat:
Nouto myymälästä tai pakettiautomaatista alk. 0 €
Toimitus kotiin alk. 2,95 €
Riippuvuuslogiikka on uusi formalismi, jossa tarkastellaan riippuvuuskäsitteeseen liittyviä ilmiöitä muodollisen logiikan viitekehyksessä. Muodollisiin logiikoihin liittyvissä matemaattisissa tarkasteluissa tutkimuksen kohteena on tyypillisesti logiikoiden ilmaisuvoima ja päättelyn laskennallinen vaativuus. Väitöskirjassa tarkastellaan useisiin eri riippuvuuskäsitteisiin perustuvia logiikoita. Työssä tutkitaan riippuvuuslogiikoiden ilmaisuvoimien ja laskennallisten vaativuuksien suhteita.

Työn päätuloksena on nk. IF-logiikan ja riippuvuuslogiikan D kahden muuttujan fragmenttien toteutuvuusongelmien erottelu suhteessa ratkeavuuteen. Lisäksi työ sisältää Boolen riippuvuuslogiikan ilmaisuvoiman kattavan luokittelun.
Kun ostat verkkokaupasta:
  1. 1 Laskulla jopa 60 päivää korotonta maksuaikaa.
  2. 2 Bonus ostoista jopa 5 %
  3. 3 Lisäksi S-Etukortti Visalla 0,5 % maksutapaetua.
  4. 4 Yli 100€ tilauksille ilmainen toimitus S-ryhmän myymälään tai Postin pakettiautomaattiin.
  5. 5 Tuotteilla ilmainen palautusoikeus 14 päivän ajan.