Torthaí cuardaigh
Topaicí molta laistigh de do chuardach.
Topaicí molta laistigh de do chuardach.
- логическое следование
- предикаты 8
- булевы функции 7
- Математическая логика 6
- учебные пособия 6
- высказывания 5
- компьютеры 5
- логические операции 5
- математика 5
- множества 5
- формулы 5
- неформальные аксиоматические теории 4
- нормальные формы 4
- отношения 4
- формальные аксиоматические теории 4
- алгебра высказываний 3
- кванторы 3
- логическое программирование 3
- математическая логика 3
- тавтологии 3
- теория 3
- формальный вывод 3
- Алгоритмы, теория 2
- алгоритмы 2
- алгоритмы Маркова 2
- информатика 2
- искусственный интеллект 2
- кванторные операции 2
- логика 2
- логико-математическая практика 2
-
1
Математическая логика и теория алгоритмов учебное пособие
Foilsithe / Cruthaithe Москва, Академия, 2008LEABHAR -
2
-
3
-
4
-
5
-
6
Логика и цепи переключения сокр. пер. с англ.
Foilsithe / Cruthaithe Москва, Госэнергоиздат, 1962LEABHAR -
7
-
8
Проблема логического следования в математической логике лекция
Foilsithe / Cruthaithe Ереван, Изд-во Ереванского ун-та, 1981LEABHAR -
9
Математическая логика и теория алгоритмов учебное пособие
Foilsithe / Cruthaithe Москва, Academia, 2004LEABHAR -
10
Основы математической логики учебное пособие
Foilsithe / Cruthaithe Екатеринбург, ЕАСИ, 2015Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach LEABHAR -
11
Математическая логика и теория алгоритмов учебное пособие
Foilsithe / Cruthaithe Красноярск, СФУ, 2018Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach LEABHAR -
12
Введение в математическую логику
Foilsithe / Cruthaithe Санкт-Петербург, Лань, 2022Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach LEABHAR -
13
Логика и теория аргументации: Практикум
Foilsithe / Cruthaithe Псков, ПсковГУ, 2021Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach LEABHAR