Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

In de eerste helft staan de standaardsystemen van de propositielogica en de predikaatlogica centraal. De propositielogica richt zich op de structuur van beweringen met zogenaamde Boolese operatoren. De predikaatlogica richti zich op beweringen met zogenaamde kwantificerende uitdrukkingen. De tweede helft van het boek behandelt modale logica en toepassingen van de logica in de informatica en in de kunstmatige intelligentie, waarbij o.a. de semantiek van imperatieve programmeertalen, programmacorrectheid, logisch programmeren, niet-monotoon redeneren en intervalnetwerken aan de orde komen. Het boek sluit af met een aantal interessante globale terreinverkenningen voor de toekomst, waarin o.a. de logica van dynamische interpretatie, niet-standaard redeneren en de logica van voorkomens (lineaire logica) aan bod komen.

Logic programming --- Logisch programmeren --- Logische programmering --- Programmation logique --- Programmeren [Logisch ] --- Programming [Logic ] --- 681.3*F3 --- 681.31 --- 164 --- logica --- programmeren --- kunstmatige intelligentie (artificiële intelligentie) --- 16 --- 681.3 --- Logica : informatica --- Logics and meanings of programs (Theory of computation) --- Theoretische informatica --- Mathematische logica --- Language and logic. --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- programmeerbare logica --- robots --- informatica --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer science --- Mathematical logic --- 133