Внесок користувача
Матеріал з Ukrainian Logical Encyclopedia
(останні | найстаріші) Переглянути (новіших 50) (старіших 50) (20 | 50 | 100 | 250 | 500).
- 14:12, 2 червня 2010 (історія) (різн.) Н Інтерпретація (Створена сторінка: '''Інтерпрета́ція''' —) (остання)
- 14:11, 2 червня 2010 (історія) (різн.) Н Вираз (Створена сторінка: '''Вираз''' або, розгорнуто, '''мовний вираз''' —) (остання)
- 14:10, 2 червня 2010 (історія) (різн.) Н Мова (Створена сторінка: '''Мова''' —) (остання)
- 14:09, 2 червня 2010 (історія) (різн.) Н Формалізована мова (Створена сторінка: '''Формалізована мова''' —) (остання)
- 14:09, 2 червня 2010 (історія) (різн.) Н Формальна мова (Створена сторінка: '''Формальна мова''' —) (остання)
- 14:08, 2 червня 2010 (історія) (різн.) Н Інтерпретант (Створена сторінка: '''Інтерпрета́нт''' виразу формальної мови —) (остання)
- 14:07, 2 червня 2010 (історія) (різн.) Суперечливість (остання)
- 14:02, 2 червня 2010 (історія) (різн.) Н Контрадикторність (Перенаправлено на Суперечливість) (остання)
- 14:01, 2 червня 2010 (історія) (різн.) Н Суперечливість (Створена сторінка: '''Супере́чливість''' або '''контрадикто́рність''' — логічне відношення між формулами)
- 14:00, 2 червня 2010 (історія) (різн.) Н Контрарність (Перенаправлено на Несумісність) (остання)
- 13:59, 2 червня 2010 (історія) (різн.) Н Несумісність (Створена сторінка: '''Несумі́сність''' або '''контра́рність''' — логічне відношення між формулами) (остання)
- 13:58, 2 червня 2010 (історія) (різн.) Н Символ (Створена сторінка: '''Си́мвол''' —) (остання)
- 13:57, 2 червня 2010 (історія) (різн.) Н Символ Лукасевича (Створена сторінка: '''Символ Лукасе́вича''' — пропозиційний оператор) (остання)
- 13:56, 2 червня 2010 (історія) (різн.) Н Штрих Шеффера (Створена сторінка: '''Штрих Ше́ффера''' — пропозиційний оператор) (остання)
- 13:54, 2 червня 2010 (історія) (різн.) Н Імплікація (Створена сторінка: '''Імпліка́ція''' — пропозиційний оператор) (остання)
- 13:53, 2 червня 2010 (історія) (різн.) Н Кон'юнкція (Перенаправлено на Кон’юнкція) (остання)
- 13:53, 2 червня 2010 (історія) (різн.) Н Кон’юнкція (Створена сторінка: '''Кон’ю́нкція''' — пропозиційний оператор) (остання)
- 13:51, 2 червня 2010 (історія) (різн.) Н Заперечення (Створена сторінка: '''Запере́чення''' — пропозиційний оператор) (остання)
- 13:50, 2 червня 2010 (історія) (різн.) Н Негація (Перенаправлено на Заперечення) (остання)
- 13:50, 2 червня 2010 (історія) (різн.) Н Дефініція (Перенаправлено на Означення) (остання)
- 13:48, 2 червня 2010 (історія) (різн.) Н Означення (Створена сторінка: '''Озна́чення''' або '''дефіні́ція''' (лат. definítio) — логічна процедура) (остання)
- 13:46, 2 червня 2010 (історія) (різн.) Н Визначення (Створена сторінка: '''Ви́значення''' — специфічний для української мови термін, який передає філософське роз…) (остання)
- 23:45, 29 травня 2010 (історія) (різн.) Н Еквіваленція (Створена сторінка: '''Еквівале́нція''' — пропозиційний оператор) (остання)
- 23:43, 29 травня 2010 (історія) (різн.) Н Місність (Створена сторінка: '''Мі́сність''' або '''а́рність''' функції) (остання)
- 23:42, 29 травня 2010 (історія) (різн.) Н Арність (Перенаправлено на Місність) (остання)
- 23:41, 29 травня 2010 (історія) (різн.) Ознака (остання)
- 22:59, 29 травня 2010 (історія) (різн.) Н Ознака (Створена сторінка: '''Озна́ка''')
- 22:58, 29 травня 2010 (історія) (різн.) Н Властивість (Створена сторінка: '''Власти́вість''') (остання)
- 22:57, 29 травня 2010 (історія) (різн.) Н Відношення (Створена сторінка: '''Відно́шення''') (остання)
- 22:56, 29 травня 2010 (історія) (різн.) Н Еквівалентність (Створена сторінка: '''Еквівале́нтність''' — відношення між формулами) (остання)
- 22:55, 29 травня 2010 (історія) (різн.) Н Довідність (Створена сторінка: '''Дові́дність''' — властивість формули) (остання)
- 22:53, 29 травня 2010 (історія) (різн.) Н Аргумент (Створена сторінка: '''Аргуме́нт''' функції) (остання)
- 22:50, 29 травня 2010 (історія) (різн.) Н Доведення (Створена сторінка: '''Дове́дення''') (остання)
- 22:49, 29 травня 2010 (історія) (різн.) Н Строга диз’юнкція (Створена сторінка: '''Строга диз’ю́нкція''' — пропозиційний оператор) (остання)
- 22:46, 29 травня 2010 (історія) (різн.) Н Диз'юнкція (Перенаправлено на Диз’юнкція) (остання)
- 22:46, 29 травня 2010 (історія) (різн.) м Диз’юнкція (остання)
- 22:46, 29 травня 2010 (історія) (різн.) Н Диз’юнкція (Створена сторінка: '''Диз’юнкція''' — пропозиційний оператор)
- 22:43, 29 травня 2010 (історія) (різн.) Н Входження (Створена сторінка: '''Вхо́дження''' виразу формальної мови в інший вираз цієї ж мови) (остання)
- 22:41, 29 травня 2010 (історія) (різн.) Н Випливання (Створена сторінка: '''Виплива́ння''') (остання)
- 22:40, 29 травня 2010 (історія) (різн.) Н Вивідність (Створена сторінка: '''Виві́дність''') (остання)
- 22:39, 29 травня 2010 (історія) (різн.) Н Вивід (Створена сторінка: '''Ви́від''') (остання)
- 22:39, 29 травня 2010 (історія) (різн.) Н Функція (Створена сторінка: '''Фу́нкція''') (остання)
- 22:38, 29 травня 2010 (історія) (різн.) Н Оператор (Створена сторінка: '''Опера́тор''' — функція) (остання)
- 22:37, 29 травня 2010 (історія) (різн.) Н Квантор (Створена сторінка: '''Ква́нтори''' — логічні оператори) (остання)
- 22:35, 29 травня 2010 (історія) (різн.) Н Алфавіт (Створена сторінка: '''Алфаві́т''')
- 22:35, 29 травня 2010 (історія) (різн.) Н Алгорифм (Перенаправлено на Алгоритм) (остання)
- 22:34, 29 травня 2010 (історія) (різн.) м Алгоритм (остання)
- 22:33, 29 травня 2010 (історія) (різн.) Н Алгоритм (Створена сторінка: '''алгори́тм''')
- 22:32, 29 травня 2010 (історія) (різн.) Н Аксіома (Створена сторінка: '''Аксіо́ма''') (остання)
- 22:31, 29 травня 2010 (історія) (різн.) Нм Абстракція (Створена сторінка: '''Абстра́кція''') (остання)
(останні | найстаріші) Переглянути (новіших 50) (старіших 50) (20 | 50 | 100 | 250 | 500).
