Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending aan op alles gedurende de hele maand januari.
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België
  • Ruim aanbod met 7 miljoen producten
Bedankt voor het vertrouwen het afgelopen jaar! Om jou te bedanken bieden we GRATIS verzending aan op alles gedurende de hele maand januari.
  • Afhalen na 1 uur in een winkel met voorraad
  • Gratis thuislevering in België
  • Ruim aanbod met 7 miljoen producten
  1. Boeken
  2. Non-fictie
  3. Informatica
  4. Computerwetenschappen
  5. Introduction pratique aux logiques classiques

Introduction pratique aux logiques classiques

Maurice Bernadet
Paperback | Frans
€ 43,75
+ 87 punten
Uitvoering
Levering 1 à 2 weken
Eenvoudig bestellen
Veilig betalen
In januari gratis thuislevering in België (via bpost)
Gratis levering in je Standaard Boekhandel

Omschrijving



Introduction Pratique aux Logiques Classiques

Les logiques formelles ont pour but d'étudier et de modéliser des raisonnements ; leur étude peut correspondre à un intérêt intellectuel naturel, aussi bien qu'au souhait de reproduire des raisonnements humains dans des systèmes informatiques.

Cet ouvrage, construit à partir d'un enseignement destiné à des élèves-ingénieurs, a été élargi pour concerner un plus large public. Il traite principalement de la logique des propositions et de la logique des prédicats d'ordre un ; il se concentre sur les aspects pratiques, en particulier les méthodes de formalisation et de validation de raisonnements. Un survol d'autres logiques classiques (prédicats d'ordre un avec égalité, prédicats d'ordre supérieur à un) est suivi d'une synthèse des aspects théoriques.

Ce livre propose de nombreux exemples et exercices, inspirés de domaines variés. Il utilise, en particulier, des exemples sur les compositeurs de musique, les arts plastiques, la médecine, sans en considérer les aspects techniques, mais en restant à un niveau général. D'autres exemples concernant les chats, les chiens, les souris... présentent un certain aspect ludique.

La plupart des exercices sont corrigés de manière détaillée.

Specificaties

Betrokkenen

Auteur(s):
Uitgeverij:

Inhoud

Aantal bladzijden:
203
Taal:
Frans

Eigenschappen

Productcode (EAN):
9782705670856
Verschijningsdatum:
7/06/2010
Uitvoering:
Paperback
Afmetingen:
160 mm x 220 mm
Gewicht:
356 g
Standaard Boekhandel

Alleen bij Standaard Boekhandel

+ 87 punten op je klantenkaart van Standaard Boekhandel
SOLDEN

30% korting

op een mooie selectie boeken en papierwaren
SOLDEN
Solden: 30% korting op boeken en papierwaren
E-BOOK ACTIE

Tot meer dan 50% korting

op een selectie e-books
E-BOOK ACTIE
E-book kortingen
Standaard Boekhandel

Beoordelingen

We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.