Различия
Здесь показаны различия между двумя версиями данной страницы.
Следующая версия | Предыдущая версия | ||
glossary:logic:alphabet [07.01.2011 21:52:49] 127.0.0.1 внешнее изменение |
glossary:logic:alphabet [09.01.2011 19:26:58] Ладилова Анна |
||
---|---|---|---|
Строка 1: | Строка 1: | ||
====== Алфавит ====== | ====== Алфавит ====== | ||
+ | <wrap hide>проверено</wrap> | ||
===== Определения ===== | ===== Определения ===== | ||
__Определение 1.__ **Алфавитом**((alphabet)) <latex>\mathcal{A}</latex> называется всякое непустое конечное [[:glossary:set|множество]] символов. При этом символы алфавита называются **буквами**((letter, symbol)). | __Определение 1.__ **Алфавитом**((alphabet)) <latex>\mathcal{A}</latex> называется всякое непустое конечное [[:glossary:set|множество]] символов. При этом символы алфавита называются **буквами**((letter, symbol)). | ||
Строка 9: | Строка 10: | ||
* [[http://www.ozon.ru/context/detail/id/5199067/?partner=lds1938|Мендельсон Э. «Введение в математическую логику», Либроком, 2010.]] | * [[http://www.ozon.ru/context/detail/id/5199067/?partner=lds1938|Мендельсон Э. «Введение в математическую логику», Либроком, 2010.]] | ||
- | {{tag>"алфавит" "буква алфавита" "множество" "пустое слово" "слово"}} | + | {{tag>"математическая логика" "алфавит" "буква алфавита" "множество" "пустое слово" "слово"}} |