Контент патне куҫ

Формаллĕ тытăм

«Википеди» ирĕклĕ энциклопединчи материал

Формаллĕ тытăм (çавăн пекех формаллĕ тео́ри, аксиоматикăлла теори, аксиомăсен тытăмĕ, аксиоматика, дедуктивлă тытăм) — теорие пăркаланми формализациленин результачĕ, çапла вара унта сăмахсен пĕлтерĕшĕсене пĕтĕмпех абстракциленĕ, хайхи сăмахсене епле усă курассине аксиомăсем тата йĕркевсем урлă палăртнă[1].

Формаллĕ тытăм  — тулаш тĕнчепе çыхăнман абстрактлă объектсен йышĕ, çав йышра символсемпе еплерех операцисем тумаллине синтаксисла, анчах семантикине палăртмасăр, кăтартнă.

Çавăн пекех

[тӳрлет | кодне тӳрлет]

Формаллĕ тытăмсен тĕслĕхĕсем

  • Галиев Ш. И. Математическая логика и теория алгоритмов. — Казань: Издательство КГТУ им. А. Н. Туполева. 2002.
  • Клини С. К. Введение в метаматематику. — М.: ИЛ, 1957. — 526 с.
  • Клини С. К. Математическая логика. — М.: «Мир», 1973. — 480 с.
  • Мендельсон Э. Введение в математическую логику. — М.: «Наука», 1971. — 320 с.
  • Новиков Ф. А. Дискретная математика для программистов. — СПб.: Питер, 2000. — 304 с.: ил. ISBN 5-272-00183-4.
  • Яновская С. А. Из истории аксиоматики // Историко-математические исследования. — М.: ГИТТЛ, 1958. — № 11. — С. 63—96.

Асăрхавсем

[тӳрлет | кодне тӳрлет]
  1. ^ Клини С. К. Введение в метаматематику. М., издательство ИЛ, 1957, с.59—60