668045 Records found
Previous Next
54801.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
სპეციალურადაა აღსანიშნი აბსურდული საბჭოური ყოფის ერთი სასიამოვნო კურიოზი:
One pleasant curiosity of the absurd Soviet life needs to be mentioned specially:
54802.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
გამოჩენილი რუსი გენეტიკოსების დევნა-განადგურებისა და მათემატიკური ლოგიკის დისკრედიტაციის კულმინაციურ პერიოდში ოფიციალური საბჭოთა პროპაგანდას მხედველობიდან გამოეპარა, რომ სწორედ საჯაროდ დაგმობილი ლოგიკის წმინდა მათემატიკური განშტოებების შესწავლაში შეჰქონდათ თავისი წვლილი ცნობილ რუს მკვლევარებს: ა. კოლმოგოროვს, ვ. გლივენკოს, დ. ბოჩვარს, პ. ნოვიკოვს, ა. მარკოვს, ა. მალცევს.
at the height of the persecution and annihilation of famous Russian geneticists and of discrediting mathematical logic official Soviet propaganda overlooked the fact that the well-known Russian researchers A. Kolmogoroff, V. Glivenko, D. Bochvar, P. Novikov, A. Markov, and A. Maltsev were making a contribution to the investigation of the purely mathematical branches of officially condemned logic.
54803.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
50-იანი წლების მიწურულს საბჭოთა საკონცენტრაციო ბანაკიდან თბილისში დაბრუნდა დისიდენტობისთვის რუსეთში გადასახლებული გ. მიქელაძე, კ. ბაქრაძის მოწაფე.
In the late '50s, Z. Mikeladze, a pupil of Bakradze, returned to Tbilisi from a Soviet concentration camp where he had been exiled for dissident activity.
54804.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
60-იანი წლების დასაწყისში მან თავის გარშემო შემოიკრიბა ახალგაზრდობა და დააარსა სამეცნიერო სემინარი მათემატიკურ ლოგიკაში.
In the early '60s he set up a scientific seminar of young researchers in mathematical logic.
54805.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
მომავალში საკვლევი პრობლემების სპეციფიკის შესაბამისად იგი სამ დამოუკიდებელ ჯგუფად გაიყო.
According to the specificity of the problems to be studied in the future the seminar split up into three independent groups.
54806.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
ერთი მათგანის ბაზაზე ჩამოყალიბდა საქართველოს მეცნიერებათა აკადემიის კიბერნეტიკის ინსტიტუტის მათემატიკური ლოგიკის განყოფილება.
One formed the basis of the department of mathematical logic at the Institute of Cybernetics of the Georgian Academy of Sciences.
54807.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
მათი სამეცნიერო ინტერესებისა და კვლევა-ძიების სფერო შემაჯამებლად შეიძლება ასე დახასიათდეს: ინტუიციონისტური ლოგიკის და მოდალური სისტემების სემანტიკური ანალიზი (დამტკიცებადობის ლოგიკის ჩათვლით).
The core areas of research of the Department can be summarized as follows: semantical analysis of the intuitionistic logic and the modal systems (including the provability logic).
54808.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
კვლევის მთავარი ტენდენცია კი მდგომარეობს ახალი სემანტიკის - კრიპკეს ტოპოლოგიური მოდელების განვითარებაში ორადობის თეორიის გამოყენებით, ერთის მხრივ, ამ მოდელებსა, ხოლო, მეორეს მხრივ, ჰეიტინგისა და მოდალურ ალგებრებს შორის.
One common tendency in this research is to develop new modellings (topological Kripke models) by employing the duality theory between the models and Heyting and modal algebras.
54809.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
მეორე ჯგუფი შეუერთდა თბილისის სახელმწიფო უნივერსიტეტის ლოგიკის კათედრას.
The second group joined the chair of logic of Tbilisi State University.
54810.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
მათი სამეცნიერო ინტერესებისა და კვლევა-ძიების სფერო მოიცავს დროის, ქმედობის, დეონტიკურ და მრავალფასა ლოგიკებს, ლოგიკის ისტორიას, განსაკუთრებით კი სიმბოლური ლოგიკის შუქზე არისტოტელეს ასერტორული და მოდალური ლოგიკის ინტერპრეტაციასა და რეკონსტრუქციას.
The field of their scientific interests and research involves tense, action, deontic and many-valued logics, history of logic, especially the interpretation and reconstruction of Aristotle's assertoric and modal systems in the light of symbolic logic.
54811.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
მესამე ნაწილმა შეადგინა საქართველოს მეცნიერებათა აკადემიის ფილოსოფიის ინსტიტუტის ლოგიკის განყოფილების სიმბოლური ლოგიკის ჯგუფი.
The third part formed the group of symbolic logic at the department of logic of the Institute of Philosophy of the Georgian Academy of Sciences.
54812.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
მათი სამეცნიერო ინტერესებისა და კვლევა-ძიების სფერო მოიცავს ეპისტემიკურ და დოქსატურ მოდალურ ლოგიკებს, რომლებიც შეისწავლებიან ნაწილობრივი შესაძლო სამყაროების სემანტიკის საფუძველზე, დამტკიცებადობისა და აგრეთვე ჭეშმარიტობის ლოგიკებს, დარღვევადი დებულებების დედუქციური უკუგდების თეორიას, ლოგიკის ისტორიას.
The area of their scientific interests and research involves epistemic and doxatic modal logics, investigated on the basis of the semantics of partial description of possible worlds, the provability logic, truth as modality, the theory of deductive rejection of refuted propositions, as well as history of logic.
54813.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
70-იანი წლებიდან თბილისის სახელმწიფო უნივერსიტეტის მექანიკა-მათემატიკის ფაკულტეტზე მათემატიკური ლოგიკის კურსის კითხვა დაიწყო შ. ფხაკაძემ.
In the '70s Sh. Pkhakadze initiated a course of mathematical logic at the Faculty of Mechanics and Mathematics of Tbilisi State University.
54814.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
მან მოამზადა ახალგაზრდების ჯგუფი, რომლის ბაზაზეც უნივერსიტეტში არსებული გამოყენებითი მათემატიკის ინსტიტუტში ჩამოყალიბდა მათემატიკური ლოგიკის განყოფილება.
He trained a group of young researchers who formed a department of mathematical logic at the Institute of Applied Mathematics attached to Tbilisi State University.
54815.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
მათი სამეცნიერო ინტერესებისა და კვლევა-ძიების ძირითადი სფეროა აღნიშვნისა და შემოკლებების თეორია მათემატიკური ენებისთვის.
The chief sphere of their scientific interests and research is the theory of designation and abbreviations for mathematical languages.
54816.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
ამავე ინსტიტუტში რეკურსიული ფუნქციების თეორიის საკითხებს იკვლევს რ. ომანაძე.
At the same Institute problems of the theory of recursive functions is being studied by R. Omanadze.
54817.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
ქართველი ლოგიკოსები 1971 წლიდან სისტემატურად იღებენ მონაწილეობას ლოგიკოსთა საერთაშორისო კონგრესების, სიმპოზიუმების, საზაფხულო და საშემოდგომო სკოლების მუშაობაში.
Since 1971 the Georgian logicians have participated systematically in international congresses, symposia, summer and autumn schools of logicians.
54818.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
ზოგი მათგანი საქართველოშიც გაიმართა.
Some of these were held in Georgia.
54819.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
დიდი სტიმულის მომცემი იყო აგრეთვე სამეცნიერო ვიზიტები თბილისში ცნობილი ლოგიკოსებისა.
Highly stimulating were also the visits to Tbilisi of the well-known logicians.
54820.
Logic in Georgia | The Main Developmental Trends of Logic in Georgia
საქართველოში 60-ანი წლების შემდეგაც დარჩა ჯგუფი, რომელიც აგრძელებს ლოგიკისა და მისი ისტორიის გააზრებას წმიდა ტრადიციულ ჩარჩოებში.
After the '60s a group has remained in Georgia whose representatives continued to comprehend logic and its history in the pure traditional framework.
Previous Next