Применение искинов - шоссе империализма (Стенгазета русификаторов ИТ)

Информация о пользователе

Привет, Гость! Войдите или зарегистрируйтесь.

базовые определения

Страница:   1 2

Тем 31 страница 53 из 53

Тема Ответов Просмотров Последнее сообщение
31 крестики-нолики на логических элементах  NuShaman
 0 106 2022-02-08 12:07:13  NuShaman
32 Хорновский дизъюнкт  Лис [К]
 1 67 2022-02-08 10:35:26  NuShaman
33 Состав или структура? Или система?  Лис [Л]
 3 182 2021-08-10 06:47:04  NuShaman
34 Перечень  Лис [К]
 4 130 2021-08-09 15:07:32  NuShaman
35 Лента  Лис [К]
 3 199 2021-01-20 13:19:23  Лис [К]
36 Реестр  Лис [К]
 0 74 2021-01-17 22:04:03  Лис [К]
37 Символьная логика и автоматическое доказательство теорем  Лис [К]
 0 177 2020-02-27 21:45:46  Лис [К]
38 Лис: тебе хватит уже читать новости. Пора подтянуть базовые знания.  ВежливыйЛис
 4 276 2020-02-03 19:26:15  MihalNik
39 Метод резолюций  Лис [К]
 0 89 2019-11-26 03:25:58  Лис [К]
40 Что общего у резолюции (resolution) и у унификации (unification)?  Лис [К]
 6 139 2019-11-25 14:46:03  Лис [К]
41 рассуждение от противного (Modus tollens)  Лис [К]
 0 54 2019-11-24 18:58:14  Лис [К]
42 Модус поненс  Лис [К]
 1 77 2019-11-24 18:54:02  Лис [К]
43 выводимость и доказуемость - в чём разница?  Лис [К]
 1 142 2019-11-24 18:45:03  Лис [К]
44 Правило вывода  Лис [К]
 0 62 2019-11-24 18:42:15  Лис [К]
45 общее и частное  Лис [К]
 0 62 2019-11-24 16:49:41  Лис [К]
46 Логика высказываний (пропозициональная логика)  Лис [К]
 0 71 2019-11-24 15:53:41  Лис [К]
47 Теорема о дедукции (Теорема Эрбрана)  Лис [К]
 0 134 2019-11-24 15:33:49  Лис [К]
48 Высказывание (Predicate?)  Лис [К]
 0 71 2019-11-24 07:38:52  Лис [К]
49 символьная обработка - 19 век  Лис [О]
 8 174 2018-05-08 08:53:36  utkin
50 CyC и его формулы  ВежливыйЛис
 0 78 2018-02-16 05:39:06  ВежливыйЛис
51 Денотационная семантика vs операционная семантика  ВежливыйЛис
 1 401 2018-02-05 17:06:16  MihalNik
52 Визуализация графов  ВежливыйЛис
 13 192 2017-11-07 07:16:56  utkin
53 Алгоритм Тарьяна  ВежливыйЛис
 1 120 2017-11-06 11:40:02  ВежливыйЛис
Страница:   1 2