Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Logique pour l'informatique

Name: Logique pour l'informatique
SKU: 34249260
Price: 37.39 EUR
Availability: InStock
Author: Jaume
ISBN: 9782340042612

Knjiga Meki uvez

Libristo kod: 34249260

Cet ouvrage débute par une introduction à la logique des prédicats du premier o... Cijeli opis

Libristo kod: 34249260

90 b

37.39 €

Vanjske zalihe Šaljemo za 14-17 dana

Do 30 dana za povrat

Kupci su kupili i

La Maison hantée Jan Pienkowski

Tvrdi uvez

30.60 €

Talking to Loretta Jack Maloney

Meki uvez

7.69 €

Mewujudkan Murid Murid Radikal: A Manual to Facilitate Training Disciples in House Churches, Small Groups, and Discipleship Groups, Leading Towards a Daniel B Lancaster

Meki uvez

9.41 €

ASP.NET Core 2 and Angular 5 Valerio De Sanctis

Meki uvez

49.75 €

Hape Stehauf-Pinguin

Igračka

15.19 €

Eilis From the Flats Paul Larkin

Meki uvez

20.87 €

Betriebliche Funktionen und ihre aufbauorganisatorische Gestaltung Momo Knohl

Meki uvez

17.12 €

Troubled Heart and How It Was Comforted at Last CHARLES WA STODDARD

Tvrdi uvez

35.97 €

Denník Anny Frankovej Komiks Ari Folman

Tvrdi uvez

16.21 €

Semi-Final Musings Paul Hansen

Tvrdi uvez

22.79 €

On Some Remarkable Forms Of Animal Life: From The Great Deeps Off The Norwegian Coast (1872) Michael Sars

Meki uvez

26.95 €

United Europe: Challenge And Opportunity Walter Hallstein

Meki uvez

26.04 €

kate spade new york celebrate that: occasions kate spade new york

Tvrdi uvez

26.54 €

Palms of Southern Asia Andrew Henderson

Adobe ePub DRM

131.03 €

Bakterielle Infektionen der Mundhöhle Geetika Sobti

Meki uvez

55.22 €

S?oneczna Italia Marco Fini

Meki uvez

30.80 €

Valentine Love & Find (I Spy with My Little Eye) Cottage Door Press

Tvrdi uvez

6.98 €

Dragon Hunt Tribe T03 Shiro Kuroi

Meki uvez

10.73 €

Sister Wake Dave Rudden

Tvrdi uvez

23.30 €

Romanov's Demon - Tome 01 Morgann A Amber

Meki uvez

22.89 €

Moby-Dick MELVILLE

Tvrdi uvez

20.26 €

Impacto da liderança orientada para o conhecimento no desempenho da inovação Alborz Safari

Meki uvez

39.31 €

Pantallas acusticas de hormigon con poliestireno David Colorado Aranguren

Meki uvez

43.87 €

Jedem Burger seine politische Gesinnung? Gefahrdung der Demokratie in der Bundesrepublik Deutschland durch Extremismus und Fremdenfeindlichkeit Ina Hartmann

Meki uvez

16.21 €

Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avancés : théorème de complétude, théorème d'indécidabilité. Se tournant ensuite vers les rapports de la logique et de l'informatique, il présente les méthodes algorithmiques de démonstration automatique comme la résolution et l'unification ainsi que des applications plus directes des concepts logiques au domaine informatique (problème SAT, bases de données relationnelles, vérification de modèle, etc.)Sa lecture ne demande aucun prérequis en la matière et peut s'adresser à tout étudiant débutant en logique (licence ou master d'informatique, élève ingénieur). L'exposé des notions de base de logique sont accompagnées de nombreux exercices corrigés.