ПО, ЭВМ и АСУ из Таможенного Союза

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

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

Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » базовые определения

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

Страница:   1 2

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

Тема Ответов Просмотров Последнее сообщение
31 Символьная логика и автоматическое доказательство теорем  Лис [К]
 0 167 2020-02-27 21:45:46  Лис [К]
32 Теория категорий  Лис [К]
 0 89 2020-02-04 23:15:36  Лис [К]
33 Лис: тебе хватит уже читать новости. Пора подтянуть базовые знания.  ВежливыйЛис
 4 260 2020-02-03 19:26:15  MihalNik
34 Метод резолюций  Лис [К]
 0 81 2019-11-26 03:25:58  Лис [К]
35 Что общего у резолюции (resolution) и у унификации (unification)?  Лис [К]
 6 122 2019-11-25 14:46:03  Лис [К]
36 рассуждение от противного (Modus tollens)  Лис [К]
 0 44 2019-11-24 18:58:14  Лис [К]
37 Модус поненс  Лис [К]
 1 63 2019-11-24 18:54:02  Лис [К]
38 выводимость и доказуемость - в чём разница?  Лис [К]
 1 131 2019-11-24 18:45:03  Лис [К]
39 Правило вывода  Лис [К]
 0 52 2019-11-24 18:42:15  Лис [К]
40 общее и частное  Лис [К]
 0 54 2019-11-24 16:49:41  Лис [К]
41 Логика высказываний (пропозициональная логика)  Лис [К]
 0 62 2019-11-24 15:53:41  Лис [К]
42 Теорема о дедукции (Теорема Эрбрана)  Лис [К]
 0 119 2019-11-24 15:33:49  Лис [К]
43 Высказывание (Predicate?)  Лис [К]
 0 60 2019-11-24 07:38:52  Лис [К]
44 символьная обработка - 19 век  Лис [О]
 8 165 2018-05-08 08:53:36  utkin
45 CyC и его формулы  ВежливыйЛис
 0 71 2018-02-16 05:39:06  ВежливыйЛис
46 Денотационная семантика vs операционная семантика  ВежливыйЛис
 1 393 2018-02-05 17:06:16  MihalNik
47 Визуализация графов  ВежливыйЛис
 13 184 2017-11-07 07:16:56  utkin
48 Алгоритм Тарьяна  ВежливыйЛис
 1 110 2017-11-06 11:40:02  ВежливыйЛис
Страница:   1 2

Вы здесь » ПО, ЭВМ и АСУ из Таможенного Союза » базовые определения