Дроботун, Б.Н. и Джарасова, Г.С. и Егимбаева, Н.Б. (2014) О семантиках исчислений высказываний. Вестник ТвГУ. Серия: Педагогика и психология (2). С. 181-197. ISSN 1999-4133
Предварительный просмотр |
PDF
- Опубликованная версия
862kB |
Абстракт
Конкретизируется, применительно к исчислению высказываний, общая схема построения семантических интерпретаций пропозициональных исчислений; определяется термальное исчисление Term, как наиболее последовательно формализованный вариант исчисления высказываний; возможности строгого разделения синтаксиса и семантики в рамках исчисления Term демонстрируются на примерах построения нетрадиционных семантических интерпретаций этого исчисления
Абстракт (англ.)
In this work: it is concretized about calculation of statements. The general scheme of creation of semantic interpretations of propositional calculations. Thermal calculation of Term is defined, as most consistently formalized option of calculation of statements. It is defined possibilities of strict division of syntax and semantics within calculation of Term. They are shown on examples of creation of nonconventional semantic interpretations of this calculation
| Тип объекта: | Статья |
|---|---|
| Сведения об авторах: | ДРОБОТУН Борис Николаевич – доктор педагогических наук, профессор кафедры «Математики» Павлодарского государственного университета им. С. Торайгырова; ДЖАРАСОВА Гульжан Сагудаллаевна – кандидат педагогических наук, доцент кафедры «Математики» Павлодарского государственного университета им. С. Торайгырова; ЕГИМБАЕВА Нуржамал Балтабаевна – магистрант кафедры «Математики» Павлодарского государственного университета им. С. Торайгырова |
| Ключевые слова: | сигнатура, интерпретация, алгебраическая система, синтаксис, семантика, аксиома, терм, исчисление, поле развертывания |
| Ключевые слова (англ.): | signature, the interpretation of the algebraic system, syntax, semantics, axiom, a term calculus, field deployment. |
| Категории: | 8 Языкознание. Филология. Художественная литература. Литературоведение > 81 Лингвистика. Языкознание. Языки 5 Математика. Естественные науки > 51 Математика > 512 Алгебра > 512.774.3 Алгебраические и линейные системы на алгебраических поверхностях |
| Подразделения: | Университеты > Павлодарский государственный университет им. С. Торайгырова |
| ID Code: | 4255 |
| Deposited On: | 08 Янв 2017 08:39 |
| Последнее изменение: | 08 Янв 2017 08:39 |
Repository Staff Only: item control page