Поисковый запрос: (<.>KL=исчисления высказываний<.>) |
Общее количество найденных документов : 21
Показаны документы с 1 по 20 |
|
>1.
| Ершов Ю. Л. Математическая логика/Ю. Л. Ершов, Е. А. Палютин. - 2005
|
>2.
| Игошин В. И. Математическая логика и теория алгоритмов/В. И. Игошин. - 2008
|
>3.
| Судоплатов С. В. Математическая логика и теория алгоритмов/С. В. Судоплатов, Е. В. Овчинникова. - 2008
|
>4.
| Гамова А. Н. Математическая логика и теория алгоритмов/А. Н. Гамова. - 2006
|
>5.
| Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов/В. И. Игошин. - 2007
|
>6.
| Лихтарников Л. М. Математическая логика/Л. М. Лихтарников, Т. Г. Сукачева. - 2008
|
>7.
| Игошин В. И. Сборник задач по математической логике и теории алгоритмов/В. И. Игошин. - 2017
|
>8.
| Певзнер Л. Д. Практикум по математическим основам теории систем/Л. Д. Певзнер. - 2013
|
>9.
| Кислов А. Г. Логика высказываний: язык, алгебра, исчисления/А. Г. Кислов, Г. К. Ольховиков, С. Ю. Уколов. - 2012
|
>10.
| Шапорев С. Д. Математическая логика/С. Д. Шапорев. - 2007
|
>11.
| Молчанов В. А. Логика высказываний/В. А. Молчанов. - 2014
|
>12.
| Верещагин, Николай Константинович Лекции по математической логике и теории алгоритмов. Ч. 2:Языки и исчисления. - 2000
|
>13.
| Игошин В. И. Математическая логика и теория алгоритмов/Владимир Иванович Игошин. - 1991
|
>14.
| Гильберт, Давид Основания математики. [Т. 1]:Логические исчисления и формализация арифметики. - 1979
|
>15.
| Гамова А. Н. Математическая логика и теория алгоритмов/А. Н. Гамова. - 1999
|
>16.
| Гамова А. Н. Математическая логика и теория алгоритмов/А. Н. Гамова. - 2000
|
>17.
| Ершов Ю. Л. Математическая логика/Ю. Л. Ершов, Е. А. Палютин. - 2004
|
>18.
| Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов/В. И. Игошин. - 2006
|
>19.
| Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов/В. И. Игошин. - 2005
|
>20.
| Судоплатов С. В. Математическая логика и теория алгоритмов/С. В. Судоплатов, Е. В. Овчинникова. - 2004
|
|
|