Search academic texts

Information × Registration Number 0215U000685, 0111U006938 , R & D reports Title Theoretical-mathematical methods of intelligent intormation systems investigation and development in uniformalized and weakly formalized subject domains popup.stage_title Head Provotar Oleksandr Ivanovych, Registration Date 24-03-2015 Organization Taras Shevchenko Kiev university popup.description2 Basic operations, used in DNA research in laboratory investigation, considered here. The emulator of DNA computations in programming language JAVA, using libraries SWING, JUNG and databases SQLite, is created. The implementation of fuzzy logic in games using Android (SDK) software demonstrated in the work. Substantiated, that necessary request of logical-mathematical knowledge processing system (OLMZ systems) development is an instrument creating for its intellectual support on logical and ontological levels. At present, the approach for intellectual and logical ontological means of construction of search of proving systems is currently completely depend on existing level and tendencies of Computer Science and automation of thinking demonstrated here. Herbrand theorems for classical logic and intuitive logic in some uniform way considered here. Product Description popup.authors Григор'єва Н.М. Лялецький О.В. Лялецький О.О. Провотар Т.М. Протасова К.Д. popup.nrat_date 2020-04-02 Close