Approaches to Finite Variable Debence (Pehmeäkantinen kirja)

  • bvseo_sdk, java_sdk, bvseo-3.2.0
  • CLOUD, getAggregateRating, 124ms
  • REVIEWS, PRODUCT
  • bvseo-msg: The resource to the URL or file is currently unavailable.;
+ / - Hover over image to Zoom
Verkkokaupassa:
41,39
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 Yli 65€ ostoista toimitus veloituksetta myymälään tai pakettiautomaattiin.
  3. 3 Bonus ostoista jopa 5 %
  4. 4 Tuotteilla ilmainen palautusoikeus 14 päivän ajan.