Book
ლოგიკა: სალექციო კურსი / მარიამ ავალიშვილი, ნათელა ზირაქიშვილი; რედაქტორი: მ. ავალიშვილი.
Record details
- Physical Description: 204 გვ.
- Publisher: [ქ.გ.]: საქართველოს უნივერსიტეტის გამომცემლობა, 2013.
Content descriptions
| Bibliography, etc. Note: | ბიბლიოგრაფია: გვ 202-203. |
| Formatted Contents Note: | შესავალი--ლოგიკის საგანი--ხელოვნური ინტელექტი, მათემატიკური ლოგიკა და თეორემათა დამტკიცება--გამონათქვამთა ლოგიკა--გამონათქვამთა ლოგიკის ენა--გამონათქვამთა ლოგიკის ფორმულების ინტერპრეტაცია--გამონათქვამთა ლოგიკის ძირითადი ტოლძალოვნებანი--დიზიუნქციური და კონიუნქციური ნორმალური ფორმები--ბულის ალგებრა--ამოხსნადობის პრობლემა--ლოგიკური შედეგი--რეზოლუციის მეთოდი გამონათქვამთა ლოგიკისათვის--პირველი რიგის ლოგიკა--პირველი რიგის ლოგიკის ენა--პირველი რიგის ლოგიკის ინტერპრეტაცია--არსებობისა და ზოგადობის კვანტორის თვისებები--ფორმულის წინარე ნორმალური სახე--პირველი რიგის ლოგიკის გამოყენება--მათემატიკური ინდუქციის მეთოდი--თეორემები. დამტკიცების მეთოდები--თანაფარდობა სიმრავლეებსა და ლოგიკურ ფორმულებს შორის--მათემატიკური ლოგიკის ზოგიერთი გამოყენებანი--ლოგიკური სქემა--გამონათქვამთა ლოგიკის გამოყენება ფიზიკაში--ბულის ალგებრის კანონები და თეორემები--ლიტერატურა. |
Search for related items by subject
| Subject: | მათემატიკა. მათემატიკური ლოგიკა. |
Available copies
- 4 of 4 copies available at United Catalog.
Holds
- 0 current holds with 4 total copies.
Show Only Available Copies
| Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
|---|---|---|---|---|---|
| Abonement | ს-301985 | 900001768687 | Stacks | Available | - |
| Grigol Tsereteli Reading Hall | 510 ა-30 სდ-138962 | 900001768688 | Stacks | Available | - |
| Grigol Tsereteli Reading Hall | F-96016 | 900001768686 | Stacks | Available | - |
| Shota Rustaveli Central Reading Hall (RD II) | რდ(II ) 16 ა-30 | 900001772714 | Stacks | Available | - |
