Abstract This article deals with el

Abstract
This article deals with elementary knowledge of the programming language theory. It is
divided into two parts. There is shown how we can formal prove program by Floyd-Hoare
Logic in the first one. At the beginning is defined a little programming language with basic
commands and further are shown some axioms and rules of Floyd-Hoare Logic. At the end of
the first part is introduced an example of proving simple program. The second part attends to
l-calculus. There is explained its notation and using for representing functions and data
objects as number or list. Further there is shown which classes of functions can be in lcalculus represented.

ผลลัพธ์ (ไทย) 1:

นามธรรม
บทความนี้เกี่ยวข้องกับความรู้ระดับประถมศึกษาของทฤษฎีภาษาเขียนโปรแกรม เป็น
แบ่งออกเป็นสองส่วน มีแสดงว่าเราสามารถศึกษาพิสูจน์โปรแกรม โดยฟลอยด์ Hoare
ตรรกะในหนึ่ง ที่กำหนดน้อยเขียนโปรแกรมภาษา ด้วย basic
คำสั่ง และเพิ่มเติม จะแสดงสัจพจน์และกฎของฟลอยด์ Hoare ตรรกะบางอย่าง จบ
ส่วนแรกเป็นการแนะนำตัวอย่างโปรแกรมง่าย ๆ พิสูจน์ ส่วนที่สองเน้นการ
l-แคลคูลัส มีอธิบายสัญลักษณ์ของและใช้สำหรับการแสดงข้อมูลและฟังก์ชัน
วัตถุหมายเลขหรือรายการ เพิ่มเติม มีแสดงฟังก์ชันประเภทใดสามารถแสดง lcalculus

ผลลัพธ์ (ไทย) 2:

บทคัดย่อ
บทความนี้เกี่ยวข้องกับความรู้พื้นฐานของทฤษฎีการเขียนโปรแกรมภาษา มันถูก
แบ่งออกเป็นสองส่วน เป็นข้อความที่แสดงวิธีการที่เราสามารถพิสูจน์ได้อย่างเป็นทางการโปรแกรมโดยฟลอยด์-โฮร์
ลอจิกในครั้งแรกหนึ่ง ที่จุดเริ่มต้นที่ถูกกำหนดให้เป็นภาษาการเขียนโปรแกรมเล็ก ๆ ที่มีพื้นฐาน
คำสั่งและต่อไปจะแสดงให้เห็นถึงหลักการและกฎของฟลอยด์-โฮร์ลอจิก ในตอนท้ายของ
ส่วนแรกที่มีการแนะนำตัวอย่างของการพิสูจน์โปรแกรมง่ายๆ ส่วนที่สองจะเข้าร่วม
ลิตรแคลคูลัส มีการอธิบายสัญกรณ์และใช้สำหรับเป็นตัวแทนของฟังก์ชั่นและข้อมูล
วัตถุเป็นจำนวนหรือรายการ ต่อไปเป็นข้อความที่แสดงที่ชั้นเรียนของฟังก์ชั่นที่สามารถอยู่ใน lcalculus เป็นตัวแทน

ผลลัพธ์ (ไทย) 3:

นามธรรม
บทความนี้เกี่ยวข้องกับความรู้เบื้องต้นของทฤษฎีโปรแกรมภาษา มันคือ
แบ่งออกเป็นสองส่วน มีแสดงให้เห็นถึงวิธีการที่เราสามารถพิสูจน์โปรแกรมอย่างเป็นทางการโดยตรรกะฟลอยด์ฮอร์
ในตอนแรก ตอนแรกกำหนดภาษาการเขียนโปรแกรมเล็กน้อยกับคำสั่งพื้นฐานและเพิ่มเติมบาง
แสดงหลักการและกฎของตรรกะฟลอยด์ฮอร์ . ในตอนท้ายของ
ส่วนแรกเป็นการแนะนำเป็นตัวอย่างของการพิสูจน์โปรแกรมง่ายๆ ส่วนที่สองอยู่

l-calculus . มีการอธิบายของโน้ต และใช้สำหรับแสดงการทำงานและข้อมูล
วัตถุเป็นเลขหรือรายการ เพิ่มเติมมีแสดงซึ่งประเภทของฟังก์ชั่นสามารถใน lcalculus แทน