Applied symbolic logic
618
Краткое содержание:
Экранизация книги

Applied symbolic logic

Автор:
Lynch Edward P.
Год:
1980
isbn:
0-471-06256-1
Язык:
Английский
Страниц:
260
Описание:
Lynch E. P. Applied symbolic logic / Edward P. Lynch. - New York etc. : Wiley & sons, 1980. - XI, 260 с., 2 л. ил. : схем., ил. ; 23 см
Рейтинг по отзывам:
4.5
Рубрики:
Символическая логика
Примечания:
На тит. л.: A Wiley-Interscience publ.
Дата создания:
2019-12-31 06:28:40
Соц. сети:
Symbolic Logic Lecture #1: Basic Concepts of Logic
Jack Sanders
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Applied symbolic logic
Книга запрещена в странах СНГ?
Да.
Нет.
Возможно.
Не знаю

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics PDF
victoria
Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics
Aaron Blanchard
Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics
Ruby Chapman
Название и адрес
Режим работы
Телефон
Централизованная система массовых библиотек
Карагандинская область, Караганда, Казыбек Би район, Степной 1 м-н
Степной 1-й микрорайон, 45
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (7212) 31-88-42
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека для детей и юношества, Национальная библиотека Республики Саха (Якутия)
Республика Саха (Якутия), Якутск городской округ, Якутск, Центральный округ
Ленина проспект, 1
Расположение на карте
санитарный день: последний день месяца; зимний период: пн, сб 10:00-18:00; вт-пт 10:00-19:00
Пн: 09:00-18:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (4112) 49-69-08 +7 (4112) 49-69-34
Показать номер
Название и адрес
Режим работы
Телефон
Лукоморье, библиотека
Томская область, Томск городской округ, Томск, Кировский район, Лоскутово
Гагарина, 43
Расположение на карте
санитарный день: последняя ср месяца; летний период: пн-пт 11:00-19:00; сб-вс выходной
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
 +7 (3822) 94-36-24
Показать номер
Название и адрес
Режим работы
Телефон
Варавинская детская библиотека №11
Архангельская область, Архангельск городской округ, Архангельск, Варавино-Фактория округ, Варавино
Никитова, 1
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вс: 11:00-17:00
 +7 (8182) 62-89-66
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская библиотека
Свердловская область, Нижний Тагил городской округ, Нижний Тагил, Ленинский район, Выя
Фрунзе, 17а
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +7 (3435) 29-82-21 +7 (3435) 29-82-23
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. В.Г. Короленко
Новосибирская область, Новосибирск городской округ, Новосибирск, Кировский район
Саввы Кожевникова, 37
Расположение на карте
технический день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
 +7 (383) 317-57-30
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. В.В. Куйбышева
Новосибирская область, Новосибирск городской округ, Новосибирск, Ленинский район, Западный м-н
Колхидская, 11
Расположение на карте
технический день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 11:00-18:00
 +7 (383) 350-00-68
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №35
Краснодарский край, Краснодар городской округ, Краснодар, Западный округ
Алма-Атинская, 148
Расположение на карте
санитарный день: последний чт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
 +7 (861) 221-57-59
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека им. А. Гайдара
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район
Геологическая, 14
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 10:00-18:00
 +7 (3012) 23-19-21
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. М.В. Ломоносова
Омская область, Омск городской округ, Омск, Октябрьский округ
Шебалдина, 199
Расположение на карте
санитарный день: последний день месяца; зимний период: пн-пт 10:00-19:00; вс 10:00-18:00
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
 +7 (3812) 36-57-04
Показать номер
Introduction: Symbolic Logic and Classical Logic (CH-02)
Subject : Philosophy Course : Essentials Of Symbolic Logic Keyword : SWAYAMPRABHA.
Ch-02: SANSKRITI [Arts, History, Philosophy] Part 10 Symbolic Logic (Rules of replacement & moderate proofs)
Intro to the rules and more proofs; DeMorgans, Distribution, Commutation, Association, Double Negation ...
teachphilosophy LIVE Session - 1 : Symbolic Logic
Prof. Chhanda Chakraborti Department of Humanities and Social Sciences Indian Institute of Technology Kharagpur Kharagpur, India - 721302.
Live Session IITKGP Artur d'Avila Garcez - Neural-symbolic learning, Part 2
Lecture by Artur d'Avila Garcez at the ACAI 2018 Summer School on Statistical Relational Artificial Intelligence August 27th - 31st 2018, Ferrara, Italy ...
Machine Learning at Unife
Егор Петров
Applied symbolic logic. В книге описывается принцип возникновения и функционирования художественного произведения. Анализируется, каким образом живопись влияет на состояние человеческого ума.
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Централизованная система массовых библиотек
Карагандинская область, Караганда, Казыбек Би район, Степной 1 м-н
Степной 1-й микрорайон, 45
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (7212) 31-88-42
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека для детей и юношества, Национальная библиотека Республики Саха (Якутия)
Республика Саха (Якутия), Якутск городской округ, Якутск, Центральный округ
Ленина проспект, 1
Расположение на карте
санитарный день: последний день месяца; зимний период: пн, сб 10:00-18:00; вт-пт 10:00-19:00
Пн: 09:00-18:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (4112) 49-69-08 +7 (4112) 49-69-34
Показать номер
Название и адрес
Режим работы
Телефон
Лукоморье, библиотека
Томская область, Томск городской округ, Томск, Кировский район, Лоскутово
Гагарина, 43
Расположение на карте
санитарный день: последняя ср месяца; летний период: пн-пт 11:00-19:00; сб-вс выходной
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
 +7 (3822) 94-36-24
Показать номер
Название и адрес
Режим работы
Телефон
Варавинская детская библиотека №11
Архангельская область, Архангельск городской округ, Архангельск, Варавино-Фактория округ, Варавино
Никитова, 1
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вс: 11:00-17:00
 +7 (8182) 62-89-66
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская библиотека
Свердловская область, Нижний Тагил городской округ, Нижний Тагил, Ленинский район, Выя
Фрунзе, 17а
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +7 (3435) 29-82-21 +7 (3435) 29-82-23
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. В.Г. Короленко
Новосибирская область, Новосибирск городской округ, Новосибирск, Кировский район
Саввы Кожевникова, 37
Расположение на карте
технический день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-17:00
 +7 (383) 317-57-30
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. В.В. Куйбышева
Новосибирская область, Новосибирск городской округ, Новосибирск, Ленинский район, Западный м-н
Колхидская, 11
Расположение на карте
технический день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 11:00-18:00
 +7 (383) 350-00-68
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №35
Краснодарский край, Краснодар городской округ, Краснодар, Западный округ
Алма-Атинская, 148
Расположение на карте
санитарный день: последний чт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
 +7 (861) 221-57-59
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека им. А. Гайдара
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район
Геологическая, 14
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 10:00-18:00
 +7 (3012) 23-19-21
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека им. М.В. Ломоносова
Омская область, Омск городской округ, Омск, Октябрьский округ
Шебалдина, 199
Расположение на карте
санитарный день: последний день месяца; зимний период: пн-пт 10:00-19:00; вс 10:00-18:00
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
 +7 (3812) 36-57-04
Показать номер
Азат Нагирян
Applied symbolic logic. В книге описывается реализация языка С на основе этой парадигмы. Дополнение 4. Программные средства для использования языков программирования общего назначения в разработке программных комплексов. В дополнение к книге "Программирование на языке высокого уровня" В.Л.Арнольд опубликовал книгу "Программные средства общего назначения для разработки программных комплексов", изданную как часть трехтомного издания "Применение C++".
Прикрепить файл