| |
Вселенная Алана Тьюринга |
|
|
Категория: Естественные науки » Физико-математические науки » Астрономия, космос |
|
| |
| |
| |
|
Автор: Ходжес Э.
Издательство: АСТ
Год издания: 2015
isbn: 978-5-17-092005-1
Количество страниц: 330, 9 ил.
Язык: русский
Формат: DOC
|
За свою короткую жизнь английский математик, логик, криптограф Алан Тьюринг (1912–1954) успел прославиться тем, что был везде первым. Он первым начал разрабатывать основы информатики, современного программирования. Первым стал создавать искусственный интеллект. Первым использовал термин «компьютер» в современном понимании. Стал первым в мире хакером, взломщиком кодов. Благодаря его таланту британские войска одержали победу над германским флотом во время Второй мировой войны: Тьюринг вскрыл секретные коды самого неприступного шифровального устройства нацистов «Энигма». |
|
| |
|
|
| |
Математическая логика |
|
|
Категория: Естественные науки » Физико-математические науки » Математика, геометрия, статистика |
|
| |
| |
| |
|
Автор: Глухов М.М.
Издательство: Наука
Год издания: 1981
Количество страниц: 117
Язык: русский
Формат: DJVU
|
Данное учебное пособие состоит из введения и семи глав. Во введении приводятся краткие исторические сведения о развитии математической логики, о причинах, стимулирующих ее развитие, и о вкладе советских ученых в разработку проблем математической логики и ее приложений. |
|
| |
|
|
| |
Конструктивная математическая логика с точки зрения классической |
|
|
Категория: Естественные науки » Физико-математические науки » Математика, геометрия, статистика |
|
| |
| |
| |
|
Автор: Новиков П.С.
Издательство: Наука
Год издания: 1977
Количество страниц: 328
Язык: русский
Формат: DJVU
|
В книге проводится четкое различие между классическими и конструктивными логическими операциями. С этой целью для одноименных операций используются различные обозначения в классическом и конструктивном случаях. Книга доступна широкому кругу читателей. Для ее чтения не требуется специальной подготовки. В то же время, насыщенность разнообразными техническими деталями делает ее полезной для лиц, занимающихся исследованием математических аспектов конструктивной логики. |
|
| |
|
|
|
ПОСТУПЛЕНИЯ
РУБРИКАТОР
Подробнее и с комментариями (0)
