II. Mođ hình tri thức veă các đôi tượng tính toán
Phađn lối sự kieơn:
„ Moêi sự kieơn là moơt phát bieơu khẳng định moơt tính chât veă moơt hay moơt sô đôi tượng tính toán. Ở đađy chúng ta xem xét 6 lối sự kieơn khác nhau như sau:
° Phát bieơu veă lối (hay tính chât) cụa moơt đôi tượng. Ví dú: Ob là moơt tam giác.
° Phát bieơu veă tính xác định cụa moơt đôi tượng (các thuoơc tính coi như đã biêt) hay cụa moơt thuoơc tính.
° Phát bieơu veă sự xác định cụa moơt thuoơc tính hay moơt đôi tượng thođng qua moơt bieơu thức haỉng.
„ Ví dú: đốn AB = 2*m^2 + 1 (với m được cho trước), góc ABC = / 3.
° Sự kieơn veă sự baỉng nhau giữa moơt đôi tượng hay moơt thuoơc tính với moơt đôi tượng hay moơt thuoơc tính khác.
„ Ví dú: thuoơc tính a cụa đôi tượng Ob thuoơc lối tam giác = đốn CD,
đôi tượng Ob1 = đôi tượng Ob2.
° Sự kieơn veă sự phú thuoơc cụa moơt đôi tượng hay cụa moơt thuoơc tính theo những đôi tượng hay các thuoơc tính khác thođng qua moơt cođng thức tính toán.
„ Ví dú: O1.a = O2.a + 2*O2.b
° Sự kieơn veă moơt quan heơ tređn các đôi tượng hay tređn các thuoơc tính cụa các đôi tượng.
„ Ví dú: đốn AB song song với đốn CD, đieơm M thuoơc đốn AB.
2.3 Ví dú áp dúng
„ Phaăn kiên thức veă các tam giác và các tứ giác trong hình hĩc phẳng có theơ được bieơu dieên theo mođ hình tri thức veă các đôi tượng tính toán như dưới đađy.
° Các khái nieơm veă các đôi tượng goăm: ‟ Đieơm.
‟ Đốn thẳng.
‟ Góc.
‟ Các lối tam giác và các lối tứ giác.
° Các quan heơ phađn câp giữa các lối đôi tượng:
„ Giữa các khái nieơm veă các lối tam giác và các lối tứ giác có các quan heơ phađn câp theo sự đaịc bieơt hóa cụa các khái nieơm, được theơ hieơn bởi các bieơu đoă sau đađy:
° Các khái nieơm veă các lối quan heơ giữa các lối đôi tượng:
„ Các quan heơ giữa các khái nieơm bao goăm các lối quan heơ như:
‟ Quan heơ thuoơc veă cụa 1 đieơm đôi với moơt đốn thẳng.
‟ Quan heơ trung đieơm cụa moơt đieơm đôi với moơt đốn thẳng.
‟ Quan heơ song song giữa 2 đốn thẳng.
‟ Quan heơ vuođng góc giữa 2 đốn thẳng.
° Các toán tử:
„ Các toán tử sô hĩc và các hàm sơ câp cũng áp dúng đôi với các đôi tựng lối “đốn thẳng” và các đôi tượng lối “góc”. ° Các luaơt:
„ Các luaơt theơ hieơn các định lý hay qui taĩc suy dieên tređn các lối sự kieơn khác nhau.
„ Ví dú: Moơt tam giác ABC có 2 cánh AB và AC baỉng nhau thì tam giac là tam giác cađn tái A.
Với 3 đốn thẳng a, b và c, nêu a // b và a c thì ta có b c.