LogoTver State University Repository

О семантиках исчислений высказываний

Дроботун, Б.Н. and Джарасова, Г.С. and Егимбаева, Н.Б. (2014) О семантиках исчислений высказываний. Вестник ТвГУ. Серия: Педагогика и психология (2). pp. 181-197. ISSN 1999-4133

[img]
Preview
PDF - Published Version
862kB

Abstract

Конкретизируется, применительно к исчислению высказываний, общая схема построения семантических интерпретаций пропозициональных исчислений; определяется термальное исчисление Term, как наиболее последовательно формализованный вариант исчисления высказываний; возможности строгого разделения синтаксиса и семантики в рамках исчисления Term демонстрируются на примерах построения нетрадиционных семантических интерпретаций этого исчисления

Abstract (en)

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

Item Type:Article
Additional Information:ДРОБОТУН Борис Николаевич – доктор педагогических наук, профессор кафедры «Математики» Павлодарского государственного университета им. С. Торайгырова; ДЖАРАСОВА Гульжан Сагудаллаевна – кандидат педагогических наук, доцент кафедры «Математики» Павлодарского государственного университета им. С. Торайгырова; ЕГИМБАЕВА Нуржамал Балтабаевна – магистрант кафедры «Математики» Павлодарского государственного университета им. С. Торайгырова
Uncontrolled Keywords:сигнатура, интерпретация, алгебраическая система, синтаксис, семантика, аксиома, терм, исчисление, поле развертывания
Keywords (en):signature, the interpretation of the algebraic system, syntax, semantics, axiom, a term calculus, field deployment.
Subjects:8 Языкознание. Филология. Художественная литература. Литературоведение > 81 Лингвистика. Языкознание. Языки
5 Математика. Естественные науки > 51 Математика > 512 Алгебра > 512.774.3 Алгебраические и линейные системы на алгебраических поверхностях
Divisions:Университеты > Павлодарский государственный университет им. С. Торайгырова
ID Code:4255
Deposited By:INVALID USER
Deposited On:08 Jan 2017 08:39
Last Modified:08 Jan 2017 08:39

Repository Staff Only: item control page