[ { "key": "2U9WR6SU", "version": 1, "library": { "type": "group", "id": 9279, "name": "Business Rules Management", "links": { "alternate": { "href": "https://www.zotero.org/groups/business_rules_management", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/9279/items/2U9WR6SU", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/business_rules_management/items/2U9WR6SU", "type": "text/html" } }, "meta": { "createdByUser": { "id": 103361, "username": "sebastian.sedat", "name": "Sebastian Sedat", "links": { "alternate": { "href": "https://www.zotero.org/sebastian.sedat", "type": "text/html" } } }, "creatorSummary": "Rautenberg", "parsedDate": "2008", "numChildren": 0 }, "data": { "key": "2U9WR6SU", "version": 1, "itemType": "bookSection", "title": "Prädikatenlogik", "creators": [ { "creatorType": "author", "firstName": "Wolfgang", "lastName": "Rautenberg" } ], "abstractNote": "In der Mathematik und auch in anderen Wissenschaften wie z. B. der Informatik, hat man häufig mit Individuenbereichen zu tun,\nin denen gewisse Relationen und Operationen ausgezeichnet sind. Über Eigenschaften solcher Relationen und Funktionen kann\nman in der Sprache der Aussagenlogik nur teilweise und sehr eingeschränkt reden. Also muss man die sprachlichen Ausdrucksmittel\nverfeinern um neue Beschreibungsmöglichkeiten zu gewinnen. Dafür sind außer logischen Symbolen auch Variablen für die Individuen\ndes betreffenden Bereichs nötig, sowie Symbole für die in Rede stehenden Relationen und Operationen.", "bookTitle": "Einführung in die Mathematische Logik", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "", "date": "2008", "publisher": "", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "pages": "33-70", "ISBN": "978-3-8348-0578-2", "DOI": "", "citationKey": "", "url": "http://dx.doi.org/10.1007/978-3-8348-9530-1_2", "accessDate": "2010-02-01T22:02:46Z", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "SpringerLink", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "7IMXZRAC" ], "relations": {}, "dateAdded": "2010-02-01T22:20:14Z", "dateModified": "2010-02-01T22:20:14Z" } }, { "key": "VVINCE9H", "version": 1, "library": { "type": "group", "id": 9279, "name": "Business Rules Management", "links": { "alternate": { "href": "https://www.zotero.org/groups/business_rules_management", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/9279/items/VVINCE9H", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/business_rules_management/items/VVINCE9H", "type": "text/html" } }, "meta": { "createdByUser": { "id": 103361, "username": "sebastian.sedat", "name": "Sebastian Sedat", "links": { "alternate": { "href": "https://www.zotero.org/sebastian.sedat", "type": "text/html" } } }, "creatorSummary": "Ertel", "parsedDate": "2009", "numChildren": 0 }, "data": { "key": "VVINCE9H", "version": 1, "itemType": "bookSection", "title": "Prädikatenlogik erster Stufe", "creators": [ { "creatorType": "author", "firstName": "Wolfgang", "lastName": "Ertel" } ], "abstractNote": "Viele praktisch relevante Problemstellungen lassen sich mit der Sprache der Aussagenlogik nicht oder nur sehr umständlich\nformulieren, wie man an folgenden Beispielen gut erkennt.", "bookTitle": "Grundkurs Künstliche Intelligenz", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "", "date": "2009", "publisher": "", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "pages": "37-64", "ISBN": "", "DOI": "", "citationKey": "", "url": "http://dx.doi.org/10.1007/978-3-8348-9989-7_3", "accessDate": "2010-02-01T22:19:27Z", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "SpringerLink", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "7IMXZRAC" ], "relations": {}, "dateAdded": "2010-02-01T22:20:14Z", "dateModified": "2010-02-01T22:20:14Z" } }, { "key": "ZK4GVANH", "version": 1, "library": { "type": "group", "id": 9279, "name": "Business Rules Management", "links": { "alternate": { "href": "https://www.zotero.org/groups/business_rules_management", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/9279/items/ZK4GVANH", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/business_rules_management/items/ZK4GVANH", "type": "text/html" } }, "meta": { "createdByUser": { "id": 103361, "username": "sebastian.sedat", "name": "Sebastian Sedat", "links": { "alternate": { "href": "https://www.zotero.org/sebastian.sedat", "type": "text/html" } } }, "parsedDate": "2008", "numChildren": 0 }, "data": { "key": "ZK4GVANH", "version": 1, "itemType": "bookSection", "title": "Eine kurze Einführung in die Aussagenlogik", "creators": [], "abstractNote": "Im letzten Kapitel haben wir zwei Arten von Aussagen unterschieden, Aussagen ohne Quantoren über einzelne Objekte (wie die\nZahl 5) und Aussagen mit Quantoren über Mengen von Objekten (wie die Menge der natürlichen Zahlen). In diesem Kapitel soll\nes um Formeln gehen, die Aussagen der ersteren Art beschreiben, sogenannte aussagenlogische Formeln.", "bookTitle": "Theoretische Informatik", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "", "date": "2008", "publisher": "", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "pages": "35-49", "ISBN": "", "DOI": "", "citationKey": "", "url": "http://dx.doi.org/10.1007/978-3-540-76320-8_3", "accessDate": "2010-01-31T18:31:11Z", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "SpringerLink", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [ "7IMXZRAC" ], "relations": {}, "dateAdded": "2010-01-31T18:31:11Z", "dateModified": "2010-01-31T18:31:11Z" } }, { "key": "VERJMTV5", "version": 1, "library": { "type": "group", "id": 9279, "name": "Business Rules Management", "links": { "alternate": { "href": "https://www.zotero.org/groups/business_rules_management", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/9279/items/VERJMTV5", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/business_rules_management/items/VERJMTV5", "type": "text/html" } }, "meta": { "createdByUser": { "id": 103361, "username": "sebastian.sedat", "name": "Sebastian Sedat", "links": { "alternate": { "href": "https://www.zotero.org/sebastian.sedat", "type": "text/html" } } }, "parsedDate": "2008", "numChildren": 0 }, "data": { "key": "VERJMTV5", "version": 1, "itemType": "bookSection", "title": "Eine kurze Einführung in die Aussagenlogik", "creators": [], "abstractNote": "Im letzten Kapitel haben wir zwei Arten von Aussagen unterschieden, Aussagen ohne Quantoren über einzelne Objekte (wie die\nZahl 5) und Aussagen mit Quantoren über Mengen von Objekten (wie die Menge der natürlichen Zahlen). In diesem Kapitel soll\nes um Formeln gehen, die Aussagen der ersteren Art beschreiben, sogenannte aussagenlogische Formeln.", "bookTitle": "Theoretische Informatik", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "", "date": "2008", "publisher": "", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "pages": "35-49", "ISBN": "", "DOI": "", "citationKey": "", "url": "http://dx.doi.org/10.1007/978-3-540-76320-8_3", "accessDate": "2010-01-31T18:27:20Z", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "SpringerLink", "callNumber": "", "rights": "", "extra": "", "tags": [], "collections": [], "relations": {}, "dateAdded": "2010-01-31T18:27:20Z", "dateModified": "2010-01-31T18:27:20Z" } }, { "key": "ZUPC9TG3", "version": 1, "library": { "type": "group", "id": 9279, "name": "Business Rules Management", "links": { "alternate": { "href": "https://www.zotero.org/groups/business_rules_management", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/9279/items/ZUPC9TG3", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/business_rules_management/items/ZUPC9TG3", "type": "text/html" } }, "meta": { "createdByUser": { "id": 103361, "username": "sebastian.sedat", "name": "Sebastian Sedat", "links": { "alternate": { "href": "https://www.zotero.org/sebastian.sedat", "type": "text/html" } } }, "creatorSummary": "Ertel", "parsedDate": "2008", "numChildren": 0 }, "data": { "key": "ZUPC9TG3", "version": 1, "itemType": "book", "title": "Grundkurs Künstliche Intelligenz", "creators": [ { "creatorType": "author", "firstName": "Wolfgang", "lastName": "Ertel" } ], "abstractNote": "", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "", "date": "2008", "publisher": "Vieweg+Teubner", "place": "Wiesbaden", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "numPages": "", "ISBN": "978-3-528-05924-8", "DOI": "", "citationKey": "", "url": "", "accessDate": "2010-01-31T16:41:10Z", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "CrossRef", "callNumber": "", "rights": "", "extra": "", "tags": [ { "tag": "Aussagenlogik" }, { "tag": "Logik" }, { "tag": "formale Logik" } ], "collections": [ "7IMXZRAC" ], "relations": {}, "dateAdded": "2010-01-31T16:42:19Z", "dateModified": "2010-01-31T16:42:19Z" } }, { "key": "T5JDN4SI", "version": 1, "library": { "type": "group", "id": 9279, "name": "Business Rules Management", "links": { "alternate": { "href": "https://www.zotero.org/groups/business_rules_management", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/9279/items/T5JDN4SI", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/business_rules_management/items/T5JDN4SI", "type": "text/html" }, "up": { "href": "https://api.zotero.org/groups/9279/items/4AD5SUTG", "type": "application/json" } }, "meta": { "createdByUser": { "id": 103361, "username": "sebastian.sedat", "name": "Sebastian Sedat", "links": { "alternate": { "href": "https://www.zotero.org/sebastian.sedat", "type": "text/html" } } } }, "data": { "key": "T5JDN4SI", "version": 1, "parentItem": "4AD5SUTG", "itemType": "attachment", "linkMode": "linked_url", "title": "Amazon.com Link", "accessDate": "2010-01-31T16:22:24Z", "url": "http://www.amazon.de/dp/386025684X", "note": "", "contentType": "text/html", "charset": "", "tags": [], "relations": {}, "dateAdded": "2010-01-31T16:23:14Z", "dateModified": "2010-01-31T16:23:14Z" } }, { "key": "4AD5SUTG", "version": 1, "library": { "type": "group", "id": 9279, "name": "Business Rules Management", "links": { "alternate": { "href": "https://www.zotero.org/groups/business_rules_management", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/9279/items/4AD5SUTG", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/business_rules_management/items/4AD5SUTG", "type": "text/html" } }, "meta": { "createdByUser": { "id": 103361, "username": "sebastian.sedat", "name": "Sebastian Sedat", "links": { "alternate": { "href": "https://www.zotero.org/sebastian.sedat", "type": "text/html" } } }, "creatorSummary": "Schöning", "parsedDate": "1999-12", "numChildren": 1 }, "data": { "key": "4AD5SUTG", "version": 1, "itemType": "book", "title": "Logik für Informatiker", "creators": [ { "creatorType": "author", "firstName": "Uwe", "lastName": "Schöning" } ], "abstractNote": "", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "4., überarb. A.", "date": "1999-12", "publisher": "Spektrum Akad. Vlg., Hdg.", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "numPages": "", "ISBN": "386025684X", "DOI": "", "citationKey": "", "url": "", "accessDate": "", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "Amazon.com", "callNumber": "", "rights": "", "extra": "", "tags": [ { "tag": "Aussagenlogik" }, { "tag": "Business Rules" }, { "tag": "Logik" }, { "tag": "Prädikatenlogik" }, { "tag": "formale Logik" } ], "collections": [ "7IMXZRAC" ], "relations": {}, "dateAdded": "2010-01-31T16:23:14Z", "dateModified": "2010-01-31T16:23:14Z" } }, { "key": "TAD47UVR", "version": 1, "library": { "type": "group", "id": 9279, "name": "Business Rules Management", "links": { "alternate": { "href": "https://www.zotero.org/groups/business_rules_management", "type": "text/html" } } }, "links": { "self": { "href": "https://api.zotero.org/groups/9279/items/TAD47UVR", "type": "application/json" }, "alternate": { "href": "https://www.zotero.org/groups/business_rules_management/items/TAD47UVR", "type": "text/html" } }, "meta": { "createdByUser": { "id": 103361, "username": "sebastian.sedat", "name": "Sebastian Sedat", "links": { "alternate": { "href": "https://www.zotero.org/sebastian.sedat", "type": "text/html" } } }, "creatorSummary": "Balzert", "parsedDate": "2009", "numChildren": 0 }, "data": { "key": "TAD47UVR", "version": 1, "itemType": "bookSection", "title": "Logik", "creators": [ { "creatorType": "author", "firstName": "Helmut", "lastName": "Balzert" } ], "abstractNote": "Neben statischen Strukturen und dynamischen Abläufen zwischen Systemkomponenten gibt es noch logische Abhängigkeiten, die\nunabhängig von der Statik und der Dynamik immer gelten. Solche logischen Abhängigkeiten können auf verschiedene Art und Weise\nformuliert werden. Mit Hilfe der Logik ist es auch möglich, Schlüsse zu ziehen, Widersprüche zu erkennen und Vollständigkeiten\nzu prüfen. Im Bereich der Programmierung können mit Hilfe der Logik Programme verifiziert werden.", "bookTitle": "Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering", "series": "", "seriesNumber": "", "volume": "", "numberOfVolumes": "", "edition": "", "date": "2009", "publisher": "", "place": "", "originalDate": "", "originalPublisher": "", "originalPlace": "", "format": "", "pages": "357-431", "ISBN": "", "DOI": "", "citationKey": "", "url": "http://dx.doi.org/10.1007/978-3-8274-2247-7_11", "accessDate": "2010-01-31T14:43:00Z", "ISSN": "", "archive": "", "archiveLocation": "", "shortTitle": "", "language": "", "libraryCatalog": "SpringerLink", "callNumber": "", "rights": "", "extra": "", "tags": [ { "tag": "Business Rules" }, { "tag": "Logik" }, { "tag": "formale Logik" } ], "collections": [ "7IMXZRAC" ], "relations": {}, "dateAdded": "2010-01-31T14:45:22Z", "dateModified": "2010-01-31T14:45:22Z" } } ]