Пошуковий запит: (<.>S=Математична логіка<.>) |
Загальна кількість знайдених документів : 23
Показані документи с 1 за 23 |
>1.
| Лисовик Л. П. Трансдьюсеры. І/Л. П. Лисовик. - 2006
|
>2.
| Лисовик Л. П. Трансдьюсеры. II/Л. П. Лисовик. - 2007
|
>3.
| Лисовик Л. П. Теория трансдьюсеров/Л. П. Лисовик Т. 1: Главы 1-4 Кн. 1: Типы языков и машин. - 2005
|
>4.
| Лисовик Л. П. Теория трансдьюсеров/Л. П. Лисовик Т. 1: Главы 13-17 Кн. 3: Алгебра и автоматы. II. - 2005
|
>5.
| Лисовик Л. П. Теория трансдьюсеров/Л. П. Лисовик Т. 2, кн. 4: Размеченные деревья. - 2006
|
>6.
| Лисовик Л. П. Теория трансдьюсеров/Л. П. Лисовик Т. 3, кн. 5: Типы функций. Интерполяция. Фрактальность. - 2006
|
>7.
| Лисовик Л. П. Теория трансдьюсеров/Л. П. Лисовик Т. 3, кн. 6: Функции и аппликативные системы. - 2007
|
>8.
| Лисовик Л. П. Теория трансдьюсеров/Л. П. Лисовик Т. 1: Главы 5-12 Кн. 2: Алгебра и автоматы. 1. - 2005
|
>9.
| Порецький Платон Сергійович (3.10.1846-9.08.1907)/Щорс. центр. район. б-ка ім. 40-річчя Перемоги. - 2007
|
>10.
| Лыскова В.Ю. Логика в информатике/В. Ю. Лыскова, Е. А. Ракитина. - 2006
|
>11.
| Бевз О. М. Шифрування данних на основі високонелінійних булевих функцій та кодів з максимальною відстанню/О. М. Бевз, Р. Н. Квєтний. - 2010
|
>12.
| Игошин В. И. Математическая логика и теория алгоритмов/В. И. Игошин. - 2010
|
>13.
| Грэй П. Логика, алгебра и базы данных/П. Грэй ; пер. с англ. Х. И. Килова, Г. Е. Минца ; под ред. Г. В. Орловского , А. О. Слисенко. - 1989
|
>14.
| Кэрролл Л. Логическая игра/Л. Кэрролл ; пер. с англ. Ю. А. Данилова. - 1991
|
>15.
| Логический подход к искусственному интеллекту. От классической логики к логическому программированию/[А. Тейз и др.] ; пер. c фр. П. П. Пермякова под ред. Г. П. Гаврилова. - 1990
|
>16.
| Маслов С. Ю. Теория дедуктивных систем и ее применения/С. Ю. Маслов. - 1986
|
>17.
| Никольская И. Л. Учимся рассуждать и доказывать/И. Л. Никольская, Е. Е. Семенов. - 1989
|
>18.
| Мендельсон Э. Введение в математическую логику/Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 1984
|
>19.
| Теория моделей и ее применения/Сиб. отд-ние АН СССР. - 1988
|
>20.
| Шапиро С. И. Решение логических и игровых задач/С. И. Шапиро. - 1984
|
>21.
| Матвієнко М. П. Комп'ютерна логіка/Матвієнко М. П. - 2015
|
>22.
| Матвієнко М. П. Математична логіка та теорія алгоритмів/М. П. Матвієнко, С. П. Шаповалов. - 2015
|
>23.
| Цейтлін Г. О. Алгебра логіки та конструювання програм. Елементи дискретної математики/Г. О. Цейтлін. - 1994
|
|