Speciality: 05.13.17 (Theoretical foundation for informatics)
Birth date: 14.03.1952
Phone: 755 69 03
E-mail:
Keywords: pattern recognition, predicate calculus, complexity of algorithms.
UDC: 004.93.51

Subject:

Logical methods in pattern recognition, Complexity of algorithms.

Main publications:

1. Kossovskaya T.M., “Proofs of the number of steps bounds for solving of some pattern recognition problems with logical description”, Vestnik of St-Petersburg University. Ser. 1, 2007, № 4, 82–90
2. Kossovskaya T.M., “Level descriptions of classes for decreasing of step number of solving of a pattern recognition problem described by propositional formulas”, Vestnik of St-Petersburg University. Ser. 1, 2008, № 1, 29–37
3. Kossovskaya T.M., “Level descriptions of classes for decreasing of step number of solving of a pattern recognition problem described by predicate calculus formulas”, Vestnik of St-Petersburg University. Ser. 10, 2008, № 1, 64–72
4. Kossovskaya T. M., “Partial deduction of a predicate formula as an instrument for recognition of an object with incomplete description”, Vestnik of St-Petersburg University. Ser. 10, 2009, № 3, 74–84

Publications in Math-Net.Ru

Personal pages:

• 

Organisations:

• St. Petersburg State University, Mathematics and Mechanics Faculty
• State Marine Technical University of St. Petersburg
• St. Petersburg Institute for Informatics and Automation of RAS