logico-mathematical models