Поисковый запрос: (<.>K=логика высказываний<.>) |
Общее количество найденных документов : 11
Показаны документы с 1 по 11 |
1.
| Смыслова, Зинаида Александровна. Математическая логика и ее приложения : Учебное пособие. - Томск : ТАСУР
, 1994. - 111, [1] с. (
27 экз. )
|
2.
| Смыслова, Зинаида Александровна. Спецглавы математики [] : учебное пособие. Ч. 3 : Математическая логика. Булевы функции. - Томск : ТМЦДО
, 2001. - 80 с. (
10 экз. )
|
3.
| Шелупанов, Александр Александрович. Математическая логика и теория алгоритмов : Учебное пособие. - Томск : STT
, 2001. - 176 с. (
26 экз. )
|
4.
| Смыслова, Зинаида Александровна. Спецглавы математики [] : учебное пособие. Ч. 3 : Математическая логика. Булевы функции. - Томск : ТМЦДО
, 2002. - 80 с. (
6 экз. )
|
5.
| Ивлев, Юрий Васильевич. Логика. Сборник упражнений : Учебное пособие для вузов. - М. : Дело
, 2004. - 246[2] с. (
38 экз. )
|
6.
| Дискретная математика : Учебник для вузов. - Томск : В-Спектр
, 2006. - 288 с. (
47 экз. )
|
7.
| Зюзьков, Валентин Михайлович. Математическая логика и теория алгоритмов : Учебное пособие для вузов. - М. : Горячая линия-Телеком
, 2007. - 176 с. (
101 экз. )
|
8.
| Кирнос И. В. Математическая логика и теория алгоритмов : учебное пособие. - Томск
, 2012. - 99 с (
2 экз. )
|
9.
| Берсенев, Максим Валерьевич. Логика в деятельности специалиста по социальной работе [Электр.ресурс] : планы практических занятий и методические рекомендации. - Томск
, 2012 on-line ; 17 с (
экз. )
|
10.
| Берсенев, Максим Валерьевич. Логика [Электр.ресурс] : планы практических занятий и методические рекомендации. - Томск
, 2012 on-line ; 17 с. (
экз. )
|
11.
| Ивлев, Юрий Васильевич. Логика : учебник для вузов. - М. : Проспект
, 2013. - 304 с. (
32 экз. )
|
|
|
Основная база библиотеки
Стандартный