Please use this identifier to cite or link to this item:
https://dspace.nplg.gov.ge/handle/1234/276007Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | რუხაია, მიხეილ | - |
| dc.contributor.author | კურტანიძე, ლია | - |
| dc.date.accessioned | 2018-08-13T11:53:31Z | - |
| dc.date.available | 2018-08-13T11:53:31Z | - |
| dc.date.issued | 2018 | - |
| dc.identifier.uri | http://dspace.nplg.gov.ge/handle/1234/276007 | - |
| dc.description.tableofcontents | ანოტაცია --Abstract --მადლიერება--შესავალი --თავი 1. მტკიცებათა თეორიის ძირითადი ცნებები --1.1 სეკვენციათა კალკულუსი LK --2.1 პროპოზიციული ფორმულათა სქემები --2.1.1 სინტაქსი--2.1.2 სემანტიკა--2.2 სეკვენციათა კალკულუსი LKS --2.3 პირველი რიგის მტკიცებათა სქემები--2.4 მტკიცებათა სქემების აგების ალგორითმი--2.5 ალგორითმის რეალიზაცია--თავი 3. თეორემათა მტკიცება ურანგო ლოგიკაში--3.1 ურანგო სეკვენციათა კალკულუსი LKU --3.1.1 შესაბამისობა ურანგო ლოგიკასა და ფორმულათა სქემებს შორის--3.1.2 დამტკიცებათა აგების ალგორითმის რეალიზაცია--3.2 ტაბლო კალკულუსი ურანგო ლოგიკისათვის--3.2.1 გამოყენებები სემანტიკურ ქსელში--3.2.2 ურანგო სკოლემიზაცია--თავი 4. დასკვნა და სამომავლო ამოცანები--ლიტერატურა--ინდექსი. | - |
| dc.format.extent | 110 გვ. | en_US |
| dc.language.iso | ka | en_US |
| dc.publisher | თბილისი | en_US |
| dc.source | თეორემათა მტკიცების მეთოდები სქემებსა და ურანგო ლოგიკაში/ ლია, კურტანიძე; დის... დოქტ. აკად. ხარისხის.: /სამეცნ. ხელმძღვანელი:/ მიხეილ, რუხაია; საქართველოს საპატრიარქოს წმინდა ანდრია პირველწოდებულის სახელობის ქართული უნ–ტი; თბ., 2018-110 გვ. (საქართველოს პარლამენტის ეროვნული ბიბლიოთეკა, საარქივო ფონდი) | en_US |
| dc.subject | თეორემათა მტკიცების მეთოდები | en_US |
| dc.subject | ლოგიკა | en_US |
| dc.title | თეორემათა მტკიცების მეთოდები სქემებსა და ურანგო ლოგიკაში | en_US |
| dc.type | Thesis | en_US |
| dc.rights.holder | საქართველოს პარლამენტის ეროვნული ბიბლიოთეკა | en_US |
| Appears in Collections: | ეროვნული ბიბლიოთეკის დისერტაციებისა და ავტორეფერატების ფონდი | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Disertacia.pdf | 614.24 kB | Adobe PDF |  View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.