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