Синтаксис: нускалардын айырмасы
Жок кылынган мазмун Кошулган мазмун
Куш абада учат балык сууда сузот Белгилер: Көрсөтмөлүү оңдоо мобилдик түзмөктөн түзөтүү мобилдик көрүнүш режиминде түзөтүү |
No edit summary |
||
1-сап:
'''
[[Логика илими|Логикада]] формалдаштырылган тилдин формалдуу бөлүкчөлөрүн окуп үйрөнүү. Мындай окуп үйрөнүүнүн объектиси катары каралып жаткан эсептөөлөрдүн (формалдык системанын) [[Алфавит|алфавити]], предметтик тилдин (объект-тилдин) туюнтмаларын (''формаларын'') уюштуруу (кара: [[Метатил]]), андагы кайра түзүүлөрдүн эрежелери жана эсептөөлөрү ([[Жыйынтык чыгаруу эрежеси|''жыйынтык чыгаруу эрежеси'']]) кызмат кылат. Кайсы бир белгилүү формалдык системанын синтаксистик касиетин айрым атайын каражаттар аркылуу ([[Математика|математикалык]] изилдөөлөрдө кабыл алынгандай; кара: [[Метатеория]]) үйрөнүү элементардык Синтаксис деп аталат.
|