510.6 Математична логіка
Документи:
- B, . Ye. Rytsar
A simple numeric set-theoretical method of the logic differential calculus [Текст] / Y. R. B // Управляющие системы и машины (УСиМ). — 2016. — № 6 (266). — P. 12-23. — Библиогр. в конце ст.
- Логика и компьютер [Текст] : Моделирование рассуждений и проверка правильности программ / Н. А. Алешина, А. М. Анисов, П. И. Быстров, И. А. Герасимова. — М. : Наука, 1990. — 238 с. — (Кибернетика - неограниченные возможности и возможные ограничения). — ISBN 5-02-007156-0.
- Бек, Джеймс Вер
Некорректные обратные задачи теплопроводности [Текст] : Монография: Пер. с англ. / Д. В. Бек, Б. Блакуэлл, Клэр Ч. Сент-. — М. : Мир, 1989. — 310 с. — ISBN 5-03-000914-0.
- Ершов, Юрий Леонидович
Математическая логика [Текст] : Учеб. пособие / Ю. Л. Ершов, Е. А. Палютин. — 2-е изд., испр. и доп. — М. : Наука, 1987. — 336 с.
- Колмогоров, А. Н.
Введение в математическую логику [Текст] : Учеб. пособие / А. Н. Колмогоров, А. Г. Драгалин. — М. : МГУ, 1982. — 120 с.
- Определение биологической ценности белков в рационах лечебно-профилактического назначения [Текст] / Ж. А. Крутовой, Н. И. Мячикова, А. В. Запаренко и др. // Пищевая промышленность. — 2013. — № 8. — С. 62-64. — Библиогр. : с. 64.
- Кэрролл, Л.
Логическая игра [Текст] / Л. Кэрролл ; пер.Ю.А. Данилова. — М. : Наука, 1991. — 189 с. — ISBN 5-02-0142220-4.
- Машталир, В. П.
Групповые структуры на фактор-множествах в задачах классификации [Текст] / В. П. Машталир, В. В. Шляхов, С. В. Яковлев // Кибернетика и системный анализ. — 2014. — Т.50, № 4. — С. 27-41. — Библиогр. в конце ст.
- Скобелев, В. В.
Статистически эквивалентные отображения конечных множеств [Текст] / В. В. Скобелев // Кибернетика и системный анализ. — 2014. — Т. 50, № 6. — С. 41-52. — Библиогр. в конце ст.
- Смаллиан, Р. М.
Принцесса или тигр? [Текст] / Р. М. Смаллиан ; пер.И.Е. Зино. — М. : Мир, 1985. — 222 с.
- Логический подход к искусственному интеллекту: от классической логики к логическому программированию [Текст] : Монография: Пер. с фр. / А. Тей, П. Грибомон, Ж. Луи и др. — М. : Мир, 1990. — 432 с. — ISBN 5-03-001636-8.
|
