Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Singh A. — Logics for Computer Science
Singh A. — Logics for Computer Science



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Logics for Computer Science

Автор: Singh A.

Аннотация:

Each chapter in this book has an introduction, the first section. But there
is no introduction to the book itself. So, let me use the mask of the Preface
for this purpose. Of course, a plain introduction to the book is just to
place the book in your hand; but while you are reading it, you yourself
have already done that. Well done!
This is the way I will be talking to you throughout. I will ask you to
do exercises on the spot, often waiting for you up to some point, and then
give you a hint to proceed. It is something like the following commercial
for the book:
I would like to ask you three questions, would you answer them
with a plain ‘Yes’ or ‘No’?
Good, you have answered ‘Yes’, whatever be the reason. But
see, that was my first question. Would you answer the same to
the second as to the third?
Very good, you have answered ‘Yes’ again; of course, it does
not matter. If you have not bought a copy of this book, are you
going to buy it soon?
Look, if you have answered ‘Yes’ to the second question, you
are also answering ‘Yes’ to the third, and if you have answered
‘No’ to the second, you are not answering ‘No’ to the third, i.e.,
your answer to the third is undoubtedly, ‘Yes’. Excellent. That
is the end of the commercial.


Язык: en

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 2003

Количество страниц: 375

Добавлена в каталог: 30.09.2017

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте