Поисковый запрос: (<.>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) Найти похожие
|
|
|