Հաշվարկների ու տրամաբանական եզրահանգումների մոդելների բաժին