door María Jesús Castel de Haro · Universidad de Alicante · ISBN 9788460547662
Inclusief btw
Hamelyn kwaliteitsgarantie · gecontroleerd en geverifieerd, of geld terug
«Lógica de primer orden» is het handboek wiskundige logica van María Jesús Castel de Haro, uitgegeven door de Universiteit van Alicante (194 pagina's, in het Spaans).
Een inleidend werk over eerste-orde logica dat de formele taal, semantiek en deductieve systemen behandelt. Het legt concepten uit zoals geldigheid, consistentie en logische consequentie, en besteedt speciale aandacht aan het nut van deze grondslagen op het gebied van de informatica.
Het handboek behoort tot de catalogus van de afdeling Computertechnologie en -berekening van de Universiteit van Alicante, binnen de categorieën Filosofie en Technologie.
Voor studenten en professionals in filosofie, wiskunde of informatica die de grondslagen van de formele logica en de toepassing ervan in de informatica willen verankeren.
