Поисковый запрос: (<.>KL=математическая логика<.>) |
Общее количество найденных документов : 125
Показаны документы с 1 по 20 |
|
>1.
|
Вид документа : Однотомное издание Шифр издания : 922698 51(082)/М74
Заглавие : Модели, алгоритмы, программы
: Сб. науч. тр.
Выходные данные : Тверь, 1993 Колич.характеристики :133 с.:
ил.
Примечания : Библиогр.
ISBN, Цена 5-230-08503-7: 17.00 р.
УДК : 51(082) Предметные рубрики: математика-- математика Ключевые слова (''Своб.индексиров.''): математическая кибернетика--математическая логика--игр теория--вероятностей теория--вычислительная математика
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>2.
|
Вид документа : Многотомное издание Шифр издания : 607088 512.8/А45
Заглавие : Алгебра и логика: Сб. науч. тр. Т. 31
. N 1
Выходные данные : Новосибирск, 1992 Колич.характеристики :98 с
Примечания : Библиогр.
ISBN, Цена 5-7623-0396-2: 15.00 р.
УДК : 512.8(082) Предметные рубрики: математика-- алгебра Ключевые слова (''Своб.индексиров.''): высшая алгебра--математическая логика
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>3.
|
Вид документа : Многотомное издание Шифр издания : 578062 681.142(08)/В94
Заглавие : Вычислительные системы: Сб. науч. тр. Вып. 139: Теория вычислимости и языки спецификаций
Выходные данные : Новосибирск, 1991 Колич.характеристики :192 с
ISBN, Цена 5-7623-0102-8: 4.80 р.
УДК : 510 + 004 Предметные рубрики: математика-- математическая логика вычислительная техника-- ЭВМ Ключевые слова (''Своб.индексиров.''): математическая логика--вычислимости теория--языки спецификаций
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>4.
|
Вид документа : Однотомное издание Шифр издания : 800470 16+16-2/Ж79
Автор(ы) : Жоль, Константин Константинович
Заглавие : Логика в лицах и символах
: науч.-попул. кн.
Выходные данные : Москва: Педагогика-Пресс, 1993 Колич.характеристики :256 с.:
ил.
Примечания : Библиогр.
ISBN, Цена 5-7155-0494-5: 1000.00 р.
УДК : 16(023) Предметные рубрики: логика-- логика Ключевые слова (''Своб.индексиров.''): логика--логика и математика--логика и кибернетика--логика и техника--математическая логика
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>5.
|
Вид документа : Однотомное издание Шифр издания : 355297 51/H66
Автор(ы) : Hilbert, Alfred
Заглавие : Mathematik
: справочное издание
. -2. Aufl. Выходные данные : Leipzig: Fachbuchverl., 1989 Колич.характеристики :672 S.:
Bild.
Серия: Nachschlagebucher fur Grundlagenfacher
ISBN, Цена 3-343-00248-8: 70.00 р.
УДК : 51 Предметные рубрики: математика-- математика Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--числа--уравнения--неравенства--реальные функции--векторное исчисление--матричное исчисление--вероятностей теория--описательная статистика--элементарная геометрия
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>6.
|
Вид документа : Однотомное издание Шифр издания : 191754 612.82:62-50+51.01/В67
Автор(ы) : Волгин, Леонид Иванович
Заглавие : Комплементарная алгебра и моделирование нейронных структур
Параллельн. заглавия :Complementary Algebra and Simulation of Neural Structures Выходные данные : Таллинн: АО "KLTK", 1993 Колич.характеристики :47 с.:
ил.
Примечания : Библиогр.
Цена : 40.00 р.
УДК : 612.82:007 + 512.6 Предметные рубрики: медицина-- физиология математика-- алгебра Ключевые слова (''Своб.индексиров.''): нейробионика--нейронные сети--нервные сети--булева алгебра--многозначные логики--математическая логика--математическое моделирование--комплементарная алгебра--алгебра логики
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>7.
|
Вид документа : Однотомное издание Шифр издания : 541612 51.01(076)+51.017+51.018/Л13
Автор(ы) : Лавров, Игорь Андреевич, Максимова, Лариса Львовна
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов
: сб. задач
. -3-е изд. Выходные данные : Москва: Физматлит, 1995 Колич.характеристики :255 с
Примечания : Библиогр.
ISBN, Цена 5-02-014844-X: 4000.00 р.
УДК : [510.22+510.6+510.51](076.1) Предметные рубрики: математика-- теория множеств-- математическая логика-- теория алгоритмов Ключевые слова (''Своб.индексиров.''): множеств теория--математическая логика--алгоритмов теория
Экземпляры : всего : ОХФ(3) Свободны : ОХФ(3) Найти похожие
|
>8.
|
Вид документа : Однотомное издание Шифр издания : 919528 681.142.2/Г91
Автор(ы) : Грэй, Питер
Заглавие : Логика, алгебра и базы данных
Выходные данные : Москва: Машиностроение, 1989 Колич.характеристики :360 с
Примечания : Библиогр.
ISBN (в пер.), Цена 5-217-00178-X , 0-470-2025: 3000.00 р.
УДК : 004.6 Предметные рубрики: вычислительная техника-- базы и банки данных Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра--базы данных--экспертные системы--реляционное исчисление--кодасил концепция--пролог
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>9.
|
Вид документа : Однотомное издание Шифр издания : 406990 51.01+51.018/А46
Автор(ы) : Александрова, Регина Александровна, Потапова, Алевтина Михайловна
Заглавие : Элементы теории множеств и математической логики
: практикум
Выходные данные : Калининград: [б. и.], 1997 Колич.характеристики :65, [3] c.:
ил.
Примечания : Библиогр.
ISBN, Цена 5-88874-059-4: 5000.00 р.
УДК : [510.22+510.6](076.5) Предметные рубрики: математика-- теория множеств-- математическая логика Ключевые слова (''Своб.индексиров.''): множеств теория--математическая логика
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>10.
|
Вид документа : Однотомное издание Шифр издания : 944912 51.01/Ф86
Автор(ы) : Фреге, Готлоб
Заглавие : Избранные работы
Выходные данные : Москва: Дом интеллектуал. кн., 1997 Колич.характеристики :160 с
ISBN, Цена 5-7333-0435-9: 14.00 р.
УДК : 510.6(081) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--логическое исследование--алгебра логики
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>11.
|
Вид документа : Однотомное издание Шифр издания : 995996 16(075)/Н53
Автор(ы) : Непейвода, Николай Николаевич
Заглавие : Прикладная логика
: учеб. пособие для студентов вузов
Выходные данные : Ижевск: Изд-во Удм. ун-та, 1997 Колич.характеристики :384 с
ISBN (в пер.), Цена 5-7029-0074-X: 25.00 р.
УДК : [16:51](075.8) Предметные рубрики: логика-- логика Ключевые слова (''Своб.индексиров.''): естественный вывод--математическая логика--высказывания--логические формулы--классическая логика--математические методы--индукция--нестандартный анализ
Экземпляры : всего : ОХФ(7) Свободны : ОХФ(7) Найти похожие
|
>12.
|
Вид документа : Однотомное издание Шифр издания : 580680 51.01/Л65
Автор(ы) : Лихтарников, Леонид Моисеевич, Сукачева, Тамара Геннадьевна
Заглавие : Математическая логика
: курс лекций : задачник-практикум и решения : учеб. пособие для вузов по мат. специальностям
Выходные данные : Санкт-Петербург: Лань, 1998 Колич.характеристики :285 с
Примечания : Библиогр.
ISBN (в пер.), Цена 5-8114-0082-9: 35.00 р.
УДК : 510.6(075.8+076.5+076.1) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры : всего : ОХФ-ЧЗ-4(1), ОХФ(2) Свободны : ОХФ-ЧЗ-4(1), ОХФ(2) Найти похожие
|
>13.
|
Вид документа : Многотомное издание Шифр издания : 741926 51.01/R44
Заглавие : Reports on Mathematical Logic: научное издание. N . 25
Выходные данные : Krakow: Jagiellonian Univ. Press, 1991 Колич.характеристики :149 p.
Примечания : Bibliogr.
ISBN, Цена 83-233-0537-4: 1000.00 р.
УДК : 510(082) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>14.
|
Вид документа : Многотомное издание Шифр издания : 400416 51.01/R44
Заглавие : Reports on Mathematical Logic: научное издание. N . 26
Выходные данные : Krakow: Jagiellonian Univ. Press, 1992 Колич.характеристики :95 p.
Примечания : Bibliogr.
ISBN, Цена 83-233-0630-3: 1000.00 р.
УДК : 510(082) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>15.
|
Вид документа : Многотомное издание Шифр издания : 023455 51.01/R44
Заглавие : Reports on Mathematical Logic: научное издание. N . 27
Выходные данные : Krakow: Jagiellonian Univ. Press, 1993 Колич.характеристики :94 p.
Примечания : Bibliogr.
ISBN, Цена 83-233-0738-5: 1000.00 р.
УДК : 510(082) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>16.
|
Вид документа : Однотомное издание Шифр издания : 604689 51.01/F98
Заглавие : Fuzzy Logic
: научное издание
Выходные данные : Chichester a. o.: Wiley, 1996 Колич.характеристики :256, [4] p.:
fig.
Примечания : Bibliogr.
ISBN, Цена 0-471-96281-3: Б.ц.
УДК : 510.06 Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--пограничные методы--логические технологии--управляющие системы--пограничный контроль--пограничная логика
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>17.
|
Вид документа : Однотомное издание Шифр издания : 310900 51.018/D80
Автор(ы) : Drake Frank R., Singh D.
Заглавие : Intermediate Set Theory
: научное издание
Выходные данные : Chichester a. o.: Wiley, 1996 Колич.характеристики :234 p.
Примечания : Biibliogr.
ISBN, Цена 0-471-96496-4: 20.00 р.
УДК : 519.5 Предметные рубрики: математика-- теория множеств Ключевые слова (''Своб.индексиров.''): множеств теория--промежуточных множеств теория--математическая логика--тригонометрические множества
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>18.
|
Вид документа : Однотомное издание Шифр издания : 490597 51.013+518.21/P91
Автор(ы) : Presic Slavisa B.
Заглавие : m-M Calculus
: научное издание
Выходные данные : Beograd: Matematicki inst., 1996 Колич.характеристики :84 p.
Серия: Posebna izdanja; knj. 18
Примечания : Bibliogr.
ISBN, Цена 86-80593-19-2: 15.00 р.
УДК : 510.63 + 519.61 Предметные рубрики: математика-- математическая логика-- вычислительная математика Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра--численные методы--системы уравнений--исчисления
Экземпляры :ОХФ(1) Свободны : ОХФ(1) Найти похожие
|
>19.
|
Вид документа : Многотомное издание Шифр издания : 823917 62-506.2(016)+681.142.37/Н46
Заглавие : Нейронные сети и нейрокомпьютинг: Библиогр. указ. лит. Вып. 4
Выходные данные : Ульяновск: Изд-во Ульян. техн. ун-та, 1999 Колич.характеристики :98 с
ISBN, Цена Б. и.: 20.00 р.
УДК : 004.032.26(01) + 681.518(01) Предметные рубрики: вычислительная техника-- информационные технологии автоматика.кибернетика-- системы автоматического управления Ключевые слова (''Своб.индексиров.''): искусственный интеллект--нейрокомпьютеры--математическая логика--распознавание образов--экспертные системы--искусственные нейронные сети--интеллектуальные системы
Экземпляры : всего : ОХФ-СБО(1), ОХФ(1) Свободны : ОХФ-СБО(1), ОХФ(1) Найти похожие
|
>20.
|
Вид документа : Однотомное издание Шифр издания : 876908 51.013+51.017+017.7:51/Г18
Автор(ы) : Гамова, Алла Николаевна
Заглавие : Математическая логика и теория алгоритмов
: учеб. пособие для студентов и аспирантов мат. фак. ун-та
Выходные данные : Саратов: Издательство Саратовского университета, 1999 Колич.характеристики :76 с.:
ил.
Примечания : Библиогр.
ISBN, Цена 5-292-02362-0: 15.00 р.
УДК : [510.5+510.63](075.8) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--тьюринга машина--исчисления предикатов--исчисления высказываний
Экземпляры : всего : ОХФ(2) Свободны : ОХФ(2) Найти похожие
|
|
|