ლოგიკა
Synopsis
ლოგიკის ამ კურსში, რომელიც წარმოადგენს გამოყენებით ლოგიკას, განხილულია მათემატიკური ლოგიკის ძირითადი ცნებები, მეთოდები და დებულებები და მათი არსებითი გამოყენებები პრაქტიკულ საქმიანობაში. გარდა ამისა, წარმოდგენილია პრაქტიკული ამოცანის მოდელირება მათემატიკური ლოგიკის ენაზე და ბოლოს განხილულია ბულის ალგებრის კანონები და თეორემები, რომლებიც ზუსტად ასახავენ კომუტაციური სქემების კანონზომიერებებს.
Downloads
Published
სექტემბერი 17, 2013
Categories
Copyright (c) 2013 საქართველოს უნივერსიტეტის გამომცემლობა
Details about this monograph
ISBN-13 (15)
978-99940-50-73-4
