Visualization of a finite first order logic model
| dc.contributor.author | Schlyter, Christian | |
| dc.contributor.department | Göteborgs universitet/Institutionen för data- och informationsteknik | swe |
| dc.contributor.department | University of Gothenburg/Department of Computer Science and Engineering | eng |
| dc.date.accessioned | 2013-10-17T10:45:13Z | |
| dc.date.available | 2013-10-17T10:45:13Z | |
| dc.date.issued | 2013-10-17 | |
| dc.description.abstract | Creating visualizations of nite rst order logic models can be very bene cial for users studying the models as it provides an additional aid for the user and makes it easier for the user to understand and comprehend the model. This thesis describes methods on how to visualize the di erent parts of the model, the domain, functions and predicates, and then combining them into a drawing for the user to look at. We will also provide methods on how to reduce a model using function and predicate properties in order to simplify the drawings we make of a model. | sv |
| dc.identifier.uri | http://hdl.handle.net/2077/34200 | |
| dc.setspec.uppsok | Technology | |
| dc.title | Visualization of a finite first order logic model | sv |
| dc.type | text | |
| dc.type.degree | Student essay | |
| dc.type.uppsok | H2 |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- gupea_2077_34200_1.pdf
- Size:
- 901.86 KB
- Format:
- Adobe Portable Document Format
- Description:
- Thesis
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 876 B
- Format:
- Item-specific license agreed upon to submission
- Description: