Поисковый запрос: (<.>KL=логика высказываний<.>) |
Общее количество найденных документов : 15
Показаны документы с 1 по 15 |
1.
| Бочаров В. А. Основы логики/В. А. Бочаров, В. И. Маркин. - 1994
|
2.
| Логика и клиническая диагностика: Теоретические основы/В. А. Смирнов, А. М. Анисов, Г. П. Арутюнов. - 1994
|
3.
| Карпенко А. С. Логики Лукасевича и простые числа/А. С. Карпенко. - 2000
|
4.
| Гамова А. Н. Формальная логика/А. Н. Гамова. - 2001
|
5.
| Верещагин, Николай Константинович Лекции по математической логике и теории алгоритмов. Ч. 2:Языки и исчисления. - 2000
|
6.
| Тетерин П. Г. Математическая логика: Синтез, декомпозиция, оценка и отбор высказываний: Обоснование целей, критериев и требований к новому/П. Г. Тетерин. - 2002
|
7.
| Мощенский А. В. Математические основы информатики/А. В. Мощенский, В. А. Мощенский. - 2002
|
8.
| Гамова А. Н. Формальная логика/А. Н. Гамова. - 2003
|
9.
| Светилинъ А. Е. Учебникъ формальной логики/А. Е. Светилинъ. - 1871
|
10.
| Молчанов В. А. Логика высказываний/В. А. Молчанов. - 2014
|
11.
| Лапшева Е. Е. Математическая логика/Е. Е. Лапшева, М. В. Огнева. - 2015
|
12.
| Кислов А. Г. Логика высказываний: язык, алгебра, исчисления/А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов. - 2012
|
13.
| Игошин В. И. Сборник задач по математической логике и теории алгоритмов/В. И. Игошин. - 2017
|
14.
| Розен, Виктор Владимирович Введение в дискретную математику. Ч. 1. - 2016
|
15.
| Тетюев, Леонид Иванович Логика и язык. Ч. 2:Основы языка теоретической логики и теории аргументации. - 2019
|
|
|
Электронный каталог
Стандартный (по одному полю)