აღნიშვნათა თეორიის გამოყენებითი საკითხები

ავტორი: ხიმური რუხაია
თანაავტორები: ლალი ტიბუა
საკვანძო სიტყვები: ნაწილობთი კვანტორი, ლოგიკო=სპეციალური ოპერატორი, მინიჭების ოპერატორი, აღნიშვნათა თეორია, პროგრამირების ზოგადი თეორია

ბიმოდალური ინტუიციუნისტური ლოგიკების ალგებრული ანალიზი

ავტორი: ფრიდონი ალშიბაია
საკვანძო სიტყვები: ლოგიკა, ბიმოდალური ლოგიკა, ჰეიტინგის ალგებრა

გიოდელის თეორემა ფორმალური არითმეტიკის არასისრულის შესახებ

ავტორი: მარიამ ბერიაშვილი

უხეში სიმრავლეების გამოყენება სიცხის ტალღების მოდელირებისთვის

ავტორი: ტატიანა კისელიოვა
თანაავტორები: მარინა ფანდოევა
საკვანძო სიტყვები: სიცხის ტალღებa, uxeSi simravleebi.

r-მაქსიმალური სიმრავლეების Q1,N-ხარისხების შესახებ

ავტორი: როლანდ ომანაძე
საკვანძო სიტყვები: Q1, N-დაყვანადობა, r-მაქსიმალური სიმრავლეები, რეკურსიულად გადათვლადი სიმრავლეები

ზოგიერთი უსასრულო გრაფის იზომორფულობის ტიპები

ავტორი: არჩილ Kipiani
საკვანძო სიტყვები: უსასრულო გრაფი, იზომორფულობის ტიპი, ავტომორფიზმების ჯგუფი

ამონახსნის არსებობა და მიახლოებითი მეთოდის კრებადობა რეისნერის ერთგანზომილებიანი სისტემისათვის

ავტორი: ვლადიმერ ოდიშარია
საკვანძო სიტყვები: არაწრფივი ამოცანა, ამონახსნის არსებობა, მეთოდის კრებადობა

ჩანგის ალგებრის ლოგიკა

ავტორი: რევაზ გრიგოლია
თანაავტორები: ა. დი ნოლა
საკვანძო სიტყვები: ლუკასევიჩის ლოგიკა, ჩანგის ალგებრა, MV-ალგებრა

დრეკადობის ბრტყელი თეორიის ერთი საკონტაქტო ამოცანის შესახებ

ავტორი: ნანა ოდიშელიძე
საკვანძო სიტყვები: დრეკადობის თეორია, საკონტაქტო ამოცანები, ორადბმული არე, დაძაბული მდგომარეობა