Математическая логика и автоматическое доказательство...

Main
Математическая логика и автоматическое...

Математическая логика и автоматическое доказательство теорем

Чень Ч., Ли Р.

0 / 0

Quanto Você gostou deste livro?

Qual é a qualidade do ficheiro descarregado?

Descarregue o livro para avaliar a sua qualidade

De que qualidade são os ficheiros descarregados?

Ano:

1983

Editora:

Наука

Idioma:

russian

Páginas:

360

Série:

Математическая логика и основания математики

Arquivo:

PDF, 56.04 MB

IPFS:

,

russian, 1983

Ler online

A converter para

Conversão para falhou

Você pode estar interessado em

Бессонов, Л — Линейные электрические цепи

Баврин И. И. — Математический анализ

М. Рид, Б. Саймон — Методы современной математической фнзики, том 1 : Функциональный анализ

Алябьева В. Г. — Математическая логика

А. Ван-дер-Зил — Флуктуационные явления полупроводниках

Алябьева В. Г. — Математическая логика

Леонов А.И., Фомичев К.И. — Моноимпульсная радиолокация

Корнейчук Н.П. — Точные константы в теории приближений

Ефимов Н.В. — Высшая геометрия

Федоров-Давыдов Г.А. — Статистические методы в археологии. Уч. пособие для вузов по спец. "История"

Моран П. — Статистические процессы эволюционной теории

Драхсел Р. — Основы электроизмерительной техники

А.Н.Обморшев. — Введение в теорию колебаний

П.Камерон Дж. ван Линт — Теории графов. Теория кодирования и блок-схемы

Бриллюэн Л. — Наука и теория информации

Депман И. — Первое знакомство с математической логикой

Петер Р. — Игра с бесконечностью

Арманд Д.Л. — Наука о ландшафте

Ошо — Любовь, свобода, одиночество. Новый взгляд на отношения

Шувалова Э.З., Агафонов Б.Г., Богатырев Г.И. — Повторим математику. Учебное пособие для поступающих в вузы

Г.А. Платонов, М.А. Файнберг, М.С. Штильман — Поезда, пассажиры... и математика

Чеботарев Н.Г. — Основы теории Галуа. В 2-х частях

Фейс Р. — Модальная логика

Уиллард И. Зангвилл — Нелинейное программирование. Единый подход

Кнут Д. — Искусство программирования в 4 томах

Ивахненко А.Г., Зайченко Ю.П., Димитров В.Д. — Принятие решений на основе самоорганизации

Рут У.Л. — Введение в теорию обнаружения сигналов в шуме

Образцова Т.Н. — Юмористические игры для детей

Ян Хин-Шун (ред.). — Древнекитайская философия в 2-х томах

Слободецкий Л.Н. — Обобщенные пространства С.Л. Соболева и их приложение к краевым задачам для дифференциальных уравнений в частных производных

Рогачев С.В. — Материалы курса: Уроки понимания карты (основы пространственного анализа). Лекции 1-8

Ротенберг Р.В. — Основы надёжности системы водитель-автомобиль-дорога-среда

Г. Г. Харди, Дж. И. Литвуд, Г. Полиа — Неравенства

Биркгоф Г., Барти Т. — Современная прикладная алгебра

Коллектив авторов — Элементы математической логики

Frases chave