Поисковый запрос: (<.>KL=предикаты<.>) |
Общее количество найденных документов : 53
Показаны документы с 1 по 20 |
|
1. 
|
Вид документа : Однотомное издание
Шифр издания : 16/Ф 79
Заглавие : Формальная логика и методология науки
: сб. статей
Выходные данные : М.: Изд-во "Наука", 1964
Колич.характеристики :300 с.:
ил.; 21 см
Коллективы :
Ин-т философии (Москва), Акад. наук СССР
Примечания : Библиогр. в конце ст.
Цена : 1.00 р.
УДК : 16+001
Ключевые слова (''Своб.индексиров.''): логика--булевые функции--двухполюсные сети--методология науки--предикаты--логические структуры
Найти похожие
|
2.
|
Вид документа : Однотомное издание
Шифр издания : 16/К 17
Автор(ы) : Калужнин Л. А.
Заглавие : Что такое математическая логика?
: научное издание
Выходные данные : М.: Изд-во "Наука", 1964
Колич.характеристики :152 с.:
ил., граф., табл.; 20 см
Примечания : Библиогр.: с. 149-150 (29 назв.)
Цена : 0.21 р.
УДК : 16
Ключевые слова (''Своб.индексиров.''): логика высказываний--формулы логики--предикаты--кванторы--математическая логика
Найти похожие
|
3.
|
Вид документа : Однотомное издание
Шифр издания : 51(076)/С 23
Автор(ы) : Гофман А. В., Спивак М. А., Розен В. В., Салий В. Н.
Заглавие : Сборник задач по математической логике и алгебре множеств
: сборник задач
. -2-е изд., испр. и доп.
Выходные данные : Саратов: Изд-во Сарат. ун-та , 1969
Колич.характеристики :90 с.:
черт.; 20 см
Цена : 0.16 р.
ГРНТИ : 27.03.01.33 + 27.17.01.33
УДК : 510.6+519.6(076)
Предметные рубрики: Математика-- Математическая логика
Математика-- Алгебра
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра множеств--двоичная булевая алгебра--исчисление высказываний--предикаты--бинарные отношения
Найти похожие
|
4.
|
Вид документа : Однотомное издание
Шифр издания : 51/М 27
Автор(ы) : Марков А. А.
Заглавие : О логике конструктивной математики
: научное издание
Выходные данные : М.: Знание, 1972
Колич.характеристики :47 с.
; 22 см
Серия: Новое в жизни, науке, технике. Математика, кибернетика; 8
Примечания : Библиогр.: с. 46
Цена : 0.09 р.
ГРНТИ : 27.03
УДК : 51:164
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): конструктивные процессы--абстракция--переменные--предикаты--материальная импликация--дедуктивная импликация--конструктивная математика
Аннотация: В брошюре автор делает попытку объяснить понятие "конструктивная математика" и показать читателю, что эта наука нуждается в своей логике, отличной от логики классической. Брошюра, как отмечает автор, не может претендовать на точность и строгость изложения.
Найти похожие
|
5.
|
Вид документа : Однотомное издание
Шифр издания : 962207
4/М 56
Автор(ы) : Мещанинов, Иван Иванович
Заглавие : Проблемы развития языка
: научное издание
Выходные данные : Ленинград: Наука, Ленинградское отделение, 1975
Колич.характеристики :348, [4] с
ISBN (в пер.), Цена [б. и.]: 30.00 р.
УДК : 800.1+929Мещанинов
Предметные рубрики: языкознание-- общее языкознание --Россия, 19-20 вв., 1883-1967 гг.
Ключевые слова (''Своб.индексиров.''): общее языкознание--лексика--синтаксис--грамматика--предложение--предикаты--слово--персоналии
Найти похожие
|
6.
|
Вид документа : Однотомное издание
Шифр издания : 519(076)/Л 13
Автор(ы) : Лавров И. А., Максимова Л. Л.
Заглавие : Задачи по теории множеств математической логике и теории алгоритмов
: учеб. пособие
Выходные данные : М.: Наука: Физматлит, 1975
Колич.характеристики :240 с.
; 20 см
Цена : 0.90 р.
ГРНТИ : 27.03.01.33
УДК : 519.5(076)
Предметные рубрики: Математика-- Математическая логика
Математика-- Теория алгоритмов
Ключевые слова (''Своб.индексиров.''): теория множеств--бинарные отношения--кардинальные числа--математическая логика--теория алгоритмов--предикаты--фильтрованные произведения
Аннотация: В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных в ней наук. Сборник состоит из трех частей: "Теории множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник рассчитан как учебное пособие для математических факультетов университетов и педагогических институтов. Он может использоваться также в технических вузах при изучении кибернетических специальностей.
Найти похожие
|
7.
|
Вид документа : Однотомное издание
Шифр издания : 519/К 89
Автор(ы) : Кузнецов О. П.
Заглавие : Дискретная математика для инженера
Выходные данные : М.: Энергия, 1980
Колич.характеристики :344 с.:
ил.; 21см
Цена : 1.40 р.
ГРНТИ : 27.41.41
УДК : 519.1
ББК : 32.815
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): функции--булевы алгебры--теория алгоритмов--предикаты--математика--алгебра--комбинаторный анализ--комбинаторика--теория автоматов--теория графов--дискретная математика--теория множеств--алгебра логики
Аннотация: В книге излагаются основные понятия теории множеств, общей алгебры, алгебры логики, комбинаторики и теории графов, составляющих аппарат дискретной математики.
Найти похожие
|
8.
|
Вид документа : Однотомное издание
Шифр издания : 125286
415/С 79
Автор(ы) : Степанов, Юрий Сергеевич
Заглавие : Имена. Предикаты. Предложения: Семиологическая грамматика
: научное издание
Выходные данные : Москва: Наука, 1981
Колич.характеристики :359, [1] с
Примечания : Библиогр.
ISBN (в пер.), Цена [Б. и.]: 30.00 р.
УДК : 801.561
Предметные рубрики: языкознание-- общее языкознание
Ключевые слова (''Своб.индексиров.''): семасиология--семантика--синтаксис--предложение--модальность--морфология--грамматика--предикаты
Найти похожие
|
9.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Гильберт Давид, Бернайс П.
Заглавие : Основания математики
: логические исчисления и формализация арифметики: пер. с нем.
. -2-е изд.
Выходные данные : Москва: Наука, 1982
Колич.характеристики :556 с.:
ил.
Серия: Математическая логика и основания математики
Цена : 02.70 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): аксиомы--аксиомы пеано--арифметика--бесконечное--выводимость--дедуктивное равенство--дедукционная теорема--доказательства независимости--интуитивные рассуждения--истинностные функции--исчисление предикатов--кванторы--логика высказываний--логические исчисления--математическая логика--нефинитные методы--основания математики--предикаты--проблема разрешимости--разрешимость--рассуждения--редукция--рекурсия--систематика--теоремы о полноте--теория истинностных функций--финитный способ рассуждений--формализация арифметики--формализм--формальная аксиоматика
Найти похожие
|
10.
|
Вид документа : Однотомное издание
Шифр издания : 643283
415.5+415.6/М 56
Автор(ы) : Мещанинов, Иван Иванович
Заглавие : Глагол
: научное издание
Выходные данные : Ленинград: Наука, Ленинградское отделение, 1982
Колич.характеристики :270, [2] с
ISBN (в пер.), Цена [Б. и.]: 30.00 р.
УДК : 801.25+801.561.32
Предметные рубрики: языкознание-- общее языкознание
Ключевые слова (''Своб.индексиров.''): глаголы--сказуемое--предикаты
Найти похожие
|
11.
|
Вид документа : Однотомное издание
Шифр издания : 81.2Англ-9
Автор(ы) : Прибыток, Инна Ивановна
Заглавие : Английское простое предложение
: пособие по теоретической грамматике для студентов фак. и ин-тов иностранных языках
Выходные данные : Саратов: Издательство Саратовского национального государственного университета имени Н. Г. Чернышевского, 1983
Колич.характеристики :79 с
Примечания : На англ. яз.
Цена : 0.13 р.
ББК : 81.2Англ-9
Предметные рубрики: Языкознание-- Германские языки
Ключевые слова (''Своб.индексиров.''): английский язык--грамматика--издания саратова--классификация функциональная--модификации--объекты--предикаты--предложения--предложения простые--структурная классификация--субъекты--теоретическая грамматика
Найти похожие
|
12.
|
Вид документа : Однотомное издание
Шифр издания : 81
Заглавие : Категории глагола и структура предложения
: конструкции с предикатными актантами
Выходные данные : Ленинград: Наука, 1983
Колич.характеристики :248 с
Коллективы :
Академия наук CССР. Институт языкознания
Цена : 2 р.
ББК : 81
Предметные рубрики: Языкознание-- Русский язык
Ключевые слова (''Своб.индексиров.''): актанты--английский язык--армянский язык--бурятский язык--вьетнамский язык--глагол--дагестанские языки--индонезийский язык--кетский язык--кхмерский язык--литовский язык--предикаты--предложение--русский язык--узбекский язык--французский язык--чукотский язык--эвенский язык--эскимосский язык
Найти похожие
|
13.
|
Вид документа : Однотомное издание
Шифр издания : 681.3/Г 85
Автор(ы) : Грис Д.
Заглавие : Наука программирования
: научное издание
Выходные данные : М.: Мир, 1984
Колич.характеристики :416 с.:
ил.; 21 см
Цена : 1.90 р.
ГРНТИ : 50.05
УДК : 681.3.06
Предметные рубрики: Вычислительная техника-- Программирование
Ключевые слова (''Своб.индексиров.''): предикаты--тавтологии--эквивалентные преобразования--язык программирования--построение программ
Аннотация: Представляет собой введение в науку программирования и отражает богатый опыт автора в научной и преподавательской работе.
Найти похожие
|
14.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Марков, Андрей Андреевич
Заглавие : Элементы математической логики
Выходные данные : Москва: Издательство Московского государственного университета, 1984
Колич.характеристики :79 с
Цена : 0.40 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгорифмы--высказывания--логика высказываний--математическая логика--предикаты--семиотика
Найти похожие
|
15.
|
Вид документа : Однотомное издание
Шифр издания : 22.18
Автор(ы) : Шапиро, Самуил Иосифович
Заглавие : Решение логических и игровых задач
: логико-психологические этюды
Выходные данные : Москва: Радио и связь, 1984
Колич.характеристики :153 с
Серия: Кибернетика
Примечания : Библиогр.: с. 151. - Предм. указ.: с. 152
Цена : 0.55 р.
ББК : 22.18
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): высказывание--игровые задачи--логические задачи--математическая кибернетика--математическая логика--предикаты
Найти похожие
|
16.
|
Вид документа : Продолжающееся издание
Шифр издания : 519/В 35
Заглавие : Вероятностные методы и кибернетика. Вып. 20
Выходные данные : Казань: Изд-во Казан. ун-та, 1984
Колич.характеристики :136 с.
; 21см
Примечания : Библиогр.в конце статей
Цена : 1.00 р.
ГРНТИ : 27.43.15 + 28.01
УДК : 519.21+007
Предметные рубрики: Математика-- Теория вероятностей
Кибернетика
Ключевые слова (''Своб.индексиров.''): теория детерминированных автоматов--вероятностей теория--вероятность--вероятностные автоматы--теория программирования--системы--автоматизированное обучение--контактные схемы--сложность--сложные вычисления--математика--теория вероятностей--теория вероятностных автоматов--случайные процессы--кибернетика--тестирование--вектор--предикаты--система функций--алгоритм
Аннотация: Сборник содержит статьи по теории детерминированных и вероятностных автоматов, алгоритмической полноте и сложности вычислений, контактным схемам, а также по теории программирования и системам автоматизированного обучения.
Найти похожие
|
17.
|
Вид документа : Однотомное издание
Шифр издания : 22.12
Автор(ы) : Лавров, Игорь Андреевич, Максимова, Лариса Львовна
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов.
. -2-е изд.
Выходные данные : Москва: Наука, 1984
Колич.характеристики :224 с
Цена : 0.90 р.
ББК : 22.12
Предметные рубрики: Математика-- Математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмы--задачи--логика предикатов--математическая логика--машины тьюринга--нумерации клини--нумерации поста--предикаты--теория алгоритмов--теория множеств
Найти похожие
|
18.
|
Вид документа : Однотомное издание
Шифр издания : 512/И 88
Заглавие : Исследования по теории структур
: сб. науч. трудов
Выходные данные : М.: Наука, 1988
Колич.характеристики :207 с.
; 22см
ISBN, Цена 5-02-006621-4: 2.10 р.
ГРНТИ : 27.47
УДК : 512.56
Предметные рубрики: Математика-- Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): графодинамика--анализ--анализ структур--синтез--предикаты--модулярность--иерархические структуры--теория структур--исследования--математика
Аннотация: Сборник объединяет работы советско-итальянского коллектива авторов по различным проблемам теории структур. Работы велись по широкому спектру направлений современной теории структур и по смежным вопросам, в частности по теории иерархических структур управления, теории выбора.
Найти похожие
|
19.
|
Вид документа : Однотомное издание
Шифр издания : 22.17
Автор(ы) : Кузнецов, Олег Петрович, Адельсон-Вельский, Георгий Максимович
Заглавие : Дискретная математика для инженера
. -2-е изд., перераб. и доп.
Выходные данные : Москва: Энергоатомиздат, 1988
Колич.характеристики :480 с.:
ил.
Примечания : Библиогр.:с.473-475
Цена : 1.80 р.
ББК : 22.17
Предметные рубрики: Математика-- Теория вероятностей-- Комбинаторный анализ
Ключевые слова (''Своб.индексиров.''): автоматы--булева алгебра--грамматики--графы--дискретная математика--инженеры--комбинаторные задачи--линейное программирование--логика--машины тьюринга--множества--отношения--предикаты--теория алгоритмов--формальные теории--функции--язык логики предикатов--языки
Найти похожие
|
20.
|
Вид документа : Однотомное издание
Шифр издания : 519/К 89
Автор(ы) : Кузнецов О. П.
Заглавие : Дискретная математика для инженера
. -2-е изд., перераб. и доп.
Выходные данные : М.: Энергоатомиздат, 1988
Колич.характеристики :480 с.:
ил.; 21см
ISBN, Цена 5-283-01563-7: 1.80 р.
ГРНТИ : 27.41.41
УДК : 519.1
ББК : 32.815
Предметные рубрики: Математика-- Дискретная математика
Ключевые слова (''Своб.индексиров.''): функции--булевы алгебры--теория алгоритмов--предикаты--математика--алгебра--комбинаторный анализ--линейное программирование--комбинаторика--теория автоматов--теория графов--дискретная математика--теория множеств--алгебра логики
Аннотация: В книге излагаются основные понятия теории множеств, общей алгебры, алгебры логики, комбинаторики и теории графов, составляющих аппарат дискретной математики. По сравнению с изданием 1980 г. переработана глава по сложности вычислений, добавлен раздел о раскраске графов, включены новые главы по теории формальных языков и линейному программированию.
Найти похожие
|
|
|
|
Электронный каталог
Стандартный (по одному полю)