ქართული ენის, ლოგიკისა და გამომთვლელის ღია ინსტიტუტი