The description of lists and sets of meta-language of normal forms of knowledge

• Veröffentlicht in: PROBLEMS IN PROGRAMMING
• Datum: 2020
• Heft: 1
• Сторінки: 03-16
• ISSN: 1727-4907
• Автори та афіліації: A.F. Kurgaev — Glushkov Institute of Cybernetics NAS of Ukraine — ORCID: 0000-0001-5348-2734
• 1. Verfasser: Kurgaev, A.F.
• Format: Artikel
• Sprache: Russisch
• Veröffentlicht: PROBLEMS IN PROGRAMMING 2020
• Schlagworte: meta-language; set; list; predicate; recursion; definition; UDC 004.424
• Online Zugang: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/386
• Назва журналу: Problems in programming

Lists use for representation of various knowledge. As lists it comfortably to present formulas, functions, trees, columns, great numbers and many other difficult objects. Great number - one of the most essential structures of data, used both in mathematics, and in programming. The formalization of l...