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