MATHEMATICAL ASPECTS OF LOGIC PROGRAMMING SEMANTICS

Hitzler, Pascal and Seda, Anthony (2011) MATHEMATICAL ASPECTS OF LOGIC PROGRAMMING SEMANTICS. 1 ed. Chapman & Hall/CRC Studies in Informatics Series . CRC Press, London-Newyork. ISBN 9781439829615

Text E- 417 Mathematical Aspects of Logic Programming Semantics.pdf - Published Version Download (7MB)

Abstract

Buku ini menyajikan uraian yang ketat, komprehensif, modern, dan detail tentang metode dan alat matematika yang diperlukan untuk analisis semantik program logika. Sebagian dari buku ini merupakan hasil kolaborasi penelitian yang produktif antara para penulis selama kurang lebih satu dekade terakhir dan berisi banyak hasil yang kami peroleh selama periode tersebut. Selain itu, buku ini membahas karya banyak penulis lain dan menempatkannya dalam konteks keseluruhan subjek. Fitur utama buku ini adalah perluasan signifikan alat dan metode dari teori urutan yang secara tradisional digunakan dalam subjek ini untuk mencakup metode non-tradisional dari analisis matematika yang bergantung pada topologi, fungsi jarak umum, dan teori titik tetap terkaitnya. Kebutuhan akan metode tersebut muncul karena beberapa alasan. Salah satu alasannya adalah non-monotonisitas beberapa operator semantik penting yang terkait dengan logika.

Item Type:	Book
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software
Divisions:	E-Book S1 Teknologi Informasi
Depositing User:	Unnamed user with email admin@umitra.ac.id
Date Deposited:	11 May 2026 03:56
Last Modified:	12 May 2026 04:39
URI:	http://repository.umitra.ac.id/id/eprint/1788

Actions (login required)

View Item