Поисковый запрос: (<.>KL=математическая логика<.>) |
Общее количество найденных документов : 125
Показаны документы с 1 по 20 |
|
1. 
| A846634-ОХФ
Модели, алгоритмы, программы [Текст] : сб. науч. тр. - Тверь : [б. и.], 1993. - 133 с. : ил. - Библиогр. - ISBN 5-230-08503-7 : 17.00 р.
Рубрики: математика--математика
Кл.слова (ненормированные):
математическая кибернетика -- математическая логика -- игр теория -- вероятностей теория -- вычислительная математика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
2.
| A627886-ОХФ
Алгебра и логика [Текст] : сб. науч. тр. - Новосибирск : [б. и.].
Т. 31, N 1. - 1992. - 98 с. - Библиогр. - ISBN 5-7623-0396-2 : 15.00 р.
Рубрики: математика--алгебра
Кл.слова (ненормированные):
высшая алгебра -- математическая логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
3.
| A844541-ОХФ
Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.].
Вып. 139 : Теория вычислимости и языки спецификаций. - 1991. - 192 с. - ISBN 5-7623-0102-8 : 4.80 р.
Рубрики: математика--математическая логика
вычислительная техника--ЭВМ
Кл.слова (ненормированные):
математическая логика -- вычислимости теория -- языки спецификаций
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
4.
| A847877-ОХФ
Жоль, Константин Константинович.
Логика в лицах и символах [Текст] : науч.-попул. кн. / К. К. Жоль. - Москва : Педагогика-Пресс, 1993. - 256 с. : ил. - Библиогр. - ISBN 5-7155-0494-5 : 1000.00 р.
Рубрики: логика--логика
Кл.слова (ненормированные):
логика -- логика и математика -- логика и кибернетика -- логика и техника -- математическая логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
5.
| A197248-ОХФ
Hilbert, Alfred.
Mathematik [Текст] : справочное издание / Alfred Hilbert. - 2. Aufl. - Leipzig : Fachbuchverl., 1989. - 672 S. : Bild. - (Nachschlagebucher fur Grundlagenfacher). - ISBN 3-343-00248-8 : 70.00 р.
Рубрики: математика--математика
Кл.слова (ненормированные):
математическая логика -- множеств теория -- числа -- уравнения -- неравенства -- реальные функции -- векторное исчисление -- матричное исчисление -- вероятностей теория -- описательная статистика -- элементарная геометрия
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
6.
| A847444-ОХФ
Волгин, Леонид Иванович.
Комплементарная алгебра и моделирование нейронных структур [Текст] = Complementary Algebra and Simulation of Neural Structures / Л. И. Волгин ; . - Таллинн : АО "KLTK", 1993. - 47 с. : ил. - Библиогр. - 40.00 р.
Рубрики: медицина--физиология
математика--алгебра
Кл.слова (ненормированные):
нейробионика -- нейронные сети -- нервные сети -- булева алгебра -- многозначные логики -- математическая логика -- математическое моделирование -- комплементарная алгебра -- алгебра логики
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
7.
| A855971-ОХФ, A855972-ОХФ, A858352-ОХФ
Лавров, Игорь Андреевич.
Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : сб. задач / И. А. Лавров, Л. Л. Максимова. - 3-е изд. - Москва : Физматлит, 1995. - 255 с. - Библиогр. - ISBN 5-02-014844-X : 4000.00 р.
Рубрики: математика--теория множеств--математическая логика--теория алгоритмов
Кл.слова (ненормированные):
множеств теория -- математическая логика -- алгоритмов теория
Доп. точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 3
ОХФ (3)
Найти похожие
|
8.
| A856987-ОХФ
Грэй, Питер.
Логика, алгебра и базы данных [Текст] / П. Грэй ; . - Москва : Машиностроение, 1989. - 360 с. - Библиогр. - ISBN 5-217-00178-X , 0-470-2025 (в пер.) : 3000.00 р.
Рубрики: вычислительная техника--базы и банки данных
Кл.слова (ненормированные):
математическая логика -- алгебра -- базы данных -- экспертные системы -- реляционное исчисление -- Кодасил концепция -- пролог
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
9.
| A862953-ОХФ
Александрова, Регина Александровна.
Элементы теории множеств и математической логики [Текст] : практикум / Р. А. Александрова, А. М. Потапова ; . - Калининград : [б. и.], 1997. - 65, [3] c. : ил. - Библиогр. - ISBN 5-88874-059-4 : 5000.00 р.
Рубрики: математика--теория множеств--математическая логика
Кл.слова (ненормированные):
множеств теория -- математическая логика
Доп. точки доступа:
Потапова, Алевтина Михайловна
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
10.
| A865103-ОХФ
Фреге, Готлоб.
Избранные работы [Текст] / Г. Фреге ; . - Москва : Дом интеллектуал. кн., 1997. - 160 с. - ISBN 5-7333-0435-9 : 14.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- логическое исследование -- алгебра логики
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
11.
| A865464-ОХФ, A865465-ОХФ, A865466-ОХФ, A865467-ОХФ, A865468-ОХФ, A871514-ОХФ, A878049-ОХФ
Непейвода, Николай Николаевич.
Прикладная логика [Текст] : учеб. пособие для студентов вузов / Н. Н. Непейвода ; . - Ижевск : Изд-во Удм. ун-та, 1997. - 384 с. - ISBN 5-7029-0074-X (в пер.) : 25.00 р.
Рубрики: логика--логика
Кл.слова (ненормированные):
естественный вывод -- математическая логика -- высказывания -- логические формулы -- классическая логика -- математические методы -- индукция -- нестандартный анализ
Экземпляры всего: 7
ОХФ (7)
Найти похожие
|
12.
| A865738-ОХФ-ЧЗ-4, A865947-ОХФ, A865948-ОХФ
Лихтарников, Леонид Моисеевич.
Математическая логика [Текст] : курс лекций : задачник-практикум и решения : учеб. пособие для вузов по мат. специальностям / Л. М. Лихтарников, Т. Г. Сукачева. - Санкт-Петербург : Лань, 1998. - 285 с. - Библиогр. - ISBN 5-8114-0082-9 (в пер.) : 35.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика
Доп. точки доступа:
Сукачева, Тамара Геннадьевна
Сукачёва, Тамара Геннадьевна
Экземпляры всего: 3
ОХФ-ЧЗ-4 (1), ОХФ (2)
Найти похожие
|
13.
| A496338-ОХФ
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press.
N . 25. - 1991. - 149 p. - Bibliogr. - ISBN 83-233-0537-4 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
14.
| A496339-ОХФ
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press.
N . 26. - 1992. - 95 p. - Bibliogr. - ISBN 83-233-0630-3 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
15.
| A496340-ОХФ
Reports on Mathematical Logic [Текст] : научное издание. - Krakow : Jagiellonian Univ. Press.
N . 27. - 1993. - 94 p. - Bibliogr. - ISBN 83-233-0738-5 : 1000.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
16.
| A496618-ОХФ
Fuzzy Logic [Текст] : научное издание. - Chichester a. o. : Wiley, 1996. - 256, [4] p. : fig. - Bibliogr. - ISBN 0-471-96281-3 : Б. ц.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- пограничные методы -- логические технологии -- управляющие системы -- пограничный контроль -- пограничная логика
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
17.
| A197786-ОХФ
Drake, Frank R.
Intermediate Set Theory [Текст] : научное издание / Frank R. Drake, D. Singh. - Chichester a. o. : Wiley, 1996. - 234 p. - Biibliogr. - ISBN 0-471-96496-4 : 20.00 р.
Рубрики: математика--теория множеств
Кл.слова (ненормированные):
множеств теория -- промежуточных множеств теория -- математическая логика -- тригонометрические множества
Доп. точки доступа:
Singh, D.
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
18.
| A496847-ОХФ
Presic, Slavisa B.
m-M Calculus [Текст] : научное издание / Slavisa B. Presic. - Beograd : Matematicki inst., 1996. - 84 p. - (Posebna izdanja ; knj. 18). - Bibliogr. - ISBN 86-80593-19-2 : 15.00 р.
Рубрики: математика--математическая логика--вычислительная математика
Кл.слова (ненормированные):
математическая логика -- алгебра -- численные методы -- системы уравнений -- исчисления
Экземпляры всего: 1
ОХФ (1)
Найти похожие
|
19.
| A870288-ОХФ-СБО, A870571-ОХФ
Нейронные сети и нейрокомпьютинг [Текст] : библиогр. указ. лит. - Ульяновск : Изд-во Ульян. техн. ун-та.
Вып. 4. - 1999. - 98 с. - ISBN Б. и. : 20.00 р.
Рубрики: вычислительная техника--информационные технологии
автоматика.кибернетика--системы автоматического управления
Кл.слова (ненормированные):
искусственный интеллект -- нейрокомпьютеры -- математическая логика -- распознавание образов -- экспертные системы -- искусственные нейронные сети -- интеллектуальные системы
Экземпляры всего: 2
ОХФ-СБО (1), ОХФ (1)
Найти похожие
|
20.
| A870312-ОХФ, A872397-ОХФ
Гамова, Алла Николаевна.
Математическая логика и теория алгоритмов [Текст] : учеб. пособие для студентов и аспирантов мат. фак. ун-та / А. Н. Гамова. - Саратов : Издательство Саратовского университета, 1999. - 76 с. : ил. - Библиогр. - ISBN 5-292-02362-0 : 15.00 р.
Рубрики: математика--математическая логика
Кл.слова (ненормированные):
математическая логика -- алгоритмов теория -- Тьюринга машина -- исчисления предикатов -- исчисления высказываний
Экземпляры всего: 2
ОХФ (2)
Найти похожие
|
|
|
|
Электронный каталог
Стандартный (по одному полю)