Presentation of Mathematical Induction by Formula of Algebra of Algorithms

Volodymyr OVSYAK; Oleksandr OVSYAK; Julia PETRUSHKA

首页> 外文期刊>Running algorithm of simulator of wireless distributed measurement-control system with rule based processing >Presentation of Mathematical Induction by Formula of Algebra of Algorithms

【24h】

Presentation of Mathematical Induction by Formula of Algebra of Algorithms

机译：用算法代数公式表示数学归纳法

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The analysis of the axiom of mathematical induction, which is given by the formula of mathematical logics is presented in the paper. It has been established that the famous formula of mathematical induction is executed only in case of ordered values of the variable linked by a quantifier. This ordering is not described analytically. Algebra of algorithms is applied for an analytical description of ordering of the variable values. The axiom of mathematical induction is described by the formula of algebra of algorithms.

机译：本文介绍了数学归纳法的公理，它由数学逻辑公式给出。已经确定，仅在由量词链接的变量的有序值的情况下才执行著名的数学归纳公式。没有对该顺序进行分析描述。算法的代数用于变量值排序的分析描述。数学归纳的公理由算法的代数公式描述。

著录项

来源
《Running algorithm of simulator of wireless distributed measurement-control system with rule based processing》 |2016年第11期|367-370|共4页
作者
Volodymyr OVSYAK; Oleksandr OVSYAK; Julia PETRUSHKA;
展开▼
作者单位

KIELCE UNIVERSITY OF TECHNOLOGY, 7 Tysiaclecia Panstwa Polskiego Ave, 25-314, Kielce, Poland,UKRAINIAN ACADEMY OF PRINTING, 19 Pid Holoskom St., 79-020, Lviv, Ukrain;

NATIONAL UNIVERSITY OF CULTURE AND ARTS, 5 Shuchevitsha St., 79-020 Lviv, Ukraine;

LVIV POLITECHNIC NATIONAL UNIVERSITY, 12 Bandery St., 79-000, Lviv, Ukraine;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
formula of the axiom of mathematical induction; tautology; truthful formula; ordering of the variable values;

机译：数学归纳公理公式;重言式真实的公式;变量值的排序;

相似文献

外文文献
中文文献
专利

1. Conformal structure of FLRW cosmology: spinorial representation and the so documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} egin{document}$$ mathfrak{so} $$end{document} (2, 3) algebra of observables [J] . Jibril Ben Achour, Etera R. Livine The journal of high energy physics . 2020,第3期

机译：FLRW宇宙学的共形结构：扫描表示和<内联公式ID =“IEQ1”> <替代方案> SO documentclass [12pt] {minimal} usepackage {ammath} usepackage {keysym} usepackage {amsfonts} usepackage {amssymb} usepackage {amsbsy} usepackage {mathrsfs} usepackage {supmeek} setLength { oddsideDemargin} { - 69pt} begin {document} $$$ mathfrak {so} $$ need {document} <内联图xlink： href =“13130_2020_12600_ARTICLE_IEQ1.gif”/> （2,3）可观察到的代数
2. Algebraic Clar Formulas - Numerical Representation of Clar Structural Formula [J] . Milan Randic, Dejan Plavsic Acta Chimica Slovenica . 2011,第3期

机译：代数Clar公式-Clar结构式的数值表示
3. Establishments of Empiric Intervening Formulas Methods, Procedures and Mathematical Elementary Algorithms: Medical Applications [J] . Luis Alberto Escalona-Fernandez International Journal of Theoretical and Applied Mathematics . 2021,第1期

机译：经验中介体方法，程序和数学基础算法的建立：医学应用
4. Mathematical structure of the system of an automated admission of the formulas of algebra of algorithms-sequences [C] . Brytkovskyj, V. . 2001

机译：自动接纳算法-序列的代数公式的系统的数学结构
5. Mathematical Models, Heuristics and Algorithms for Efficient Analysis and Performance Evaluation of Job Shop Scheduling Systems Using Max-Plus Algebraic Techniques [D] . Singh, Manjeet. 2013

机译：使用MAX-PLUS代数技术有效分析和绩效评估的数学模型，启发式和算法
6. Sparse Adaptive Iteratively-Weighted Thresholding Algorithm (SAITA) for ... formula ...-Regularization Using the Multiple Sub-Dictionary Representation [O] . Yunyi Li, Jie Zhang, Shangang Fan, 2017

机译：...公式...正则化的稀疏自适应迭代加权阈值算法（SAITA）-使用多个子词典表示形式
7. INTERNAL REPRESENTATIONS OF FORMULAS IN JAPANESE COMPUTER ALGEBRA SYSTEM GAL(Formula Manipulation and Its Applications to Mathematical Study) [O] . Sasaki Tateaki, Motoyoshi Fumio 1985

机译：日本计算机代数系统GAL中公式的内部表示（公式操纵及其在数学研究中的应用）
8. Representations, Approximations, and Algorithms for Mathematical Speech Processing [R] . Suzuki, L. R. 1998

机译：数学语音处理的表示，近似和算法

Presentation of Mathematical Induction by Formula of Algebra of Algorithms

摘要

著录项

相似文献

相关主题

期刊订阅