Sie sind hier: Startseite » EDV / Informatik

Logic and Its Applications

Logic and Its Applications.
8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings.
Urheber: Khan, Md. Aquil; Manuel, Amaldev.
Verlag: Springer Berlin.
23,5 x 15,5 cm. 289 Abbildungen, schwarz-weiß, 7 Abbildungen, farbig. Seiten: 195.
ISBN-13: 9783662587706.
Erscheinungsdatum: 05.02.2019

Dieses Buch sammelt die Schiedsgutachten der 8. Indischen Konferenz über Logik und ihre Anwendungen, ICLA 2019, die im März 2019 in Delhi, Indien, stattfand. Der Band enthält 13 vollständig überarbeitete Papiere sowie 6 eingeladene Vorträge, die auf der Konferenz vorgestellt wurden. Ziel dieser Konferenzreihe ist es, Forscher aus den verschiedensten Bereichen zusammenzubringen, in denen die formale Logik eine wichtige Rolle spielt. Interessensgebiete sind mathematische und philosophische Logik, Informatiklogik, Grundlagen und Philosophie der Mathematik und der Naturwissenschaften, Anwendung der formalen Logik in Bereichen der theoretischen Informatik und der künstlichen Intelligenz, Logik und Linguistik sowie die Beziehung zwischen Logik und anderen Wissensgebieten. Von besonderem Interesse sind Studien über Logiksysteme in der indischen Tradition und historische Forschungen über Logik.

Inhalt:
Theoretische Informatik
Diskrete Mathematik
Algorithmen und Datenstrukturen
Algorithmen und Datenstrukturen
Software Engineering
Mathematik für Informatiker
Künstliche Intelligenz

gitterbasierte Logiken; Logiksysteme in der indischen Tradition; Logik erster Ordnung; Künstliche Intelligenz; Mengenlehre; Formale Logik; Logik und Verifikation; Grobe Mengenlehre; Modelltheorie; Prooftheorie; formale Konzeptanalyse; Semantik; Modale und zeitliche Logik; automatisiertes Denken; Datenbanken; Bildungslogik; Graphentheorie Software Engineering; Theorembeweis; Begriff modale Logik; modale Logik.