matematyczne
Encyklopedia PWN
różnorodne zestawienia będące pomocą przy rozwiązywaniu zadań rachunkowych;
nazwa stosowana najczęściej do okresu rozkwitu matematyki polskiej, który nastąpił w II Rzeczypospolitej i był skoncentrowany w ośrodkach lwowskim i warszawskim;
dział matematyki poświęcony badaniu wnioskowania matematycznego (dowodzenia) oraz problemom podstaw matematyki.
metoda dowodzenia twierdzeń matematycznych;
dział językoznawstwa i matematyki, zajmujący się konstruowaniem formalnych modeli struktury języków naturalnych i ich fragmentów, także teoria gramatyk formalnych, użyteczna również w badaniu języków programowania.
