|
|
libcats.org
Mathematical Problems from Applied Logic II: Logics for the XXIst CenturyDov Gabbay, Sergei Goncharov, Michael Zakharyaschev"Mathematical Problems from Applied Logic II" presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
Скачать книгу бесплатно (pdf, 2.54 Mb)
Читать «Mathematical Problems from Applied Logic II: Logics for the XXIst Century» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Белое движение в годы гражданской войны в России (1917-1922 гг)Автор: Слободин Владимир ПавловичКатегория: История
Размер книги: 220 Kb
Конструирование литьевых форм в 130 примерахАвтор: "Гастров Г., Автор: Линднер Э., Автор: Унгер П.; под ред. А.П. Пантелеева, Автор: А.А. Пант"
Размер книги: 29.82 Mb
Розвиваємо математичні здібностіАвтор: Гавріна С.Є., Автор: Кутявіна Н.Л., Автор: Топоркова І.Г., Автор: Щербініна С.В.Категория: Розвиток дитини
Размер книги: 17.64 Mb
Noncircular GearsАвтор: Litvin F.L., Автор: Fuentes-Aznar A., Автор: Gonzalez-Perez I., Автор: Hayasaka K.Категория: E_Engineering, EM_Mechanics of elastic materials
Размер книги: 3.08 Mb
Class Field Theory -The Bonn LecturesАвтор: Jürgen Neukirch, Автор: Alexander Schmidt, Автор: 2013Категория: Mathematics
Размер книги: 1.43 Mb
|
|
|