ЛОГИКА и семантическое программирование : Сб. ст.
2122
Купить
Краткое содержание:
Экранизация книги

ЛОГИКА и семантическое программирование : Сб. ст.

Год:
1992
Язык:
Русский
Страниц:
203
Заглавие серии:
Вычислительные системы : Сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т математики ; 146
Описание:
ЛОГИКА и семантическое программирование : [Сб. ст.] / Науч. ред. чл.-кор. РАН Ю.Л. Ершов, д. ф.-м. н. С.С. Гончаров. - Новосибирск : Ин-т математики, 1992. - [1], 203 с., включ. обл. ; 20 см. - (Вычислительные системы : Сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т математики ; 146). - Библиогр. в конце ст.
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Библиогр. в конце ст.
Другие ответственные лица:
Ершов, Юрий Леонидович (1940-) → Редактор
Дата создания:
2020-04-26 08:16:52
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме ЛОГИКА и семантическое программирование : Сб. ст.

Заказать реферат Узнать стоимость Скачать пример
Введение в логику, урок 1: Базовые понятия
Автор: Рахим Давлеткалиев (https://rakh.im/) Практические курсы по программированию на русском языке - от первой...
Хекслет
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
ЛОГИКА и семантическое программирование : Сб. ст.
Опросы
Книга для детей?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация ЛОГИКА и семантическое программирование : Сб. ст.

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Лекция 13: Логика предикатов
Лекция на сайте НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/13859/1256/lecture/23990.
НОУ ИНТУИТ
Лекция 1 | Введение в модальную логику | Даниил Рогозин | Лекториум
Лекция 1 | Автор: Даниил Рогозин | Курс: Введение в модальную логику | Организаторы: Computer Science Club при ПОМИ РАН...
Лекториум
Лев Беклемишев - Беседы о логике. Часть 2 из 2. Беседует Николай Андреев
Беседы о логике. Часть 2 из 2. Какую роль сыграла логика в создании компьютеров и языков программирования?...
НаукаPRO
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека ім. О. Довженка
Киев город со специальным статусом, Київ, Солом'янський район, Шулявка
Західна, 11
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
library-dovzhienka.blogspot.com
 +380 (44) 457-78-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Дніпровська центральна міська бібліотека
Днепропетровская область, Днепр, Амур-Нижнеднепровский район, Левобережный 1 ж/м
Крушельницкой переулок, 6
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
library.dp.ua
Инстаграм:  https://instagram.com/library_dp
Facebook:  https://facebook.com/library.dp.ua
Youtube:  https://youtube.com/channel/UCDPLThpYiRMRaNI0O7n_PRw
 +380 (56) 740-37-11 +380 (56) 740-38-75 +380 (56) 377-80-92
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №12
Пензенская область, Пенза городской округ, Пенза, Ленинский район, Райки
Бекешская, 4
Расположение на карте
санитарный день: последний вт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
penzacitylib.ru
 +7 (8412) 48-02-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотечный пункт, ЦБС, филиал №7
Иркутская область, Иркутск городской округ, Иркутск, Ленинский округ, Жилкино
Полярная, 104
Расположение на карте
зимний период: вт-сб 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 (3952) 38-61-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Мошковская центральная библиотека
Новосибирская область, Мошковский район, рп. Мошково
Пушкина, 9
Расположение на карте
технический день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 10:00-17:00
libmoshkovo.ru
Вконтакте:  https://vk.com/bib_moshkovo
 +7 (38348) 2-17-28 +7 (38348) 2-15-99
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Пономаревская сельская библиотека
Новосибирская область, Колыванский район, с. Пономарёвка
Береговая, 40а
Расположение на карте
Пн: 11:00-14:00
Вт: 11:00-14:00
Ср: 11:00-14:00
Чт: 11:00-14:00
Пт: 11:00-14:00
Сб: 11:00-14:00
 +7 (38352) 3-02-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Усть-Качкинская сельская библиотека
Пермский край, Пермский район, с. Усть-Качка
Победы, 12
Расположение на карте
санитарный день: последний рабочий день месяца; зимний период: пн-сб 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 (342) 295-29-97
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. П. Комарова
Хабаровский край, Хабаровск городской округ, Хабаровск, Индустриальный район
Монтажная, 13
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
hab-csmb.ru
Вконтакте:  https://vk.com/biblio_hab
 +7 (4212) 50-81-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Пчегатлукайская сельская библиотека
Республика Адыгея, Теучежский район, аул Пчегатлукай
Ленина, 38
Расположение на карте
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-14:00
 +7-918-271-31-43
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Теучежская межпоселенческая централизованная библиотечная система
Республика Адыгея, Теучежский район, аул Понежукай
Октябрьская, 34
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
Сб: 08:00-16:00
Матлогика 1. Теория формальных языков.
00:07 начало вводной части 13:32 теорема о корректности 28:07 конец вводной части 28:51 начало лекции 31:32 цепочка...
Лекторий ФИВТ [Коллоквиум]: Семантические технологии: новая жизнь для математической логики
Докладчики: Михаил Захарьящев, НИУ ВШЭ / Birkbeck, University of London Станислав Кикоть, ИППИ РАН / Birkbeck, University of London Общая...
ФКН ВШЭ Логика и эпистемология. Лекция 8 Язык и мышление Александр Пустовит
8-ая лекция курса «Логика и эпистемология». Тема: язык и мышление. Лекция читалась в киевском Институте...
Белый Кофе YiiConf2017 Дмитрий Елисеев Семантическое программирование Куда поместить код
DevConf
Рецензии и отзывы
Егор Петров
ЛОГИКА и семантическое программирование : Сб. ст.. В данной книге описывается « диалектическое» программирование на основе математической логики: три главных пути, по которым пойдет наука о языке и языке о ней.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Бібліотека ім. О. Довженка
Киев город со специальным статусом, Київ, Солом'янський район, Шулявка
Західна, 11
Расположение на карте
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-18:00
library-dovzhienka.blogspot.com
 +380 (44) 457-78-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Дніпровська центральна міська бібліотека
Днепропетровская область, Днепр, Амур-Нижнеднепровский район, Левобережный 1 ж/м
Крушельницкой переулок, 6
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
library.dp.ua
Инстаграм:  https://instagram.com/library_dp
Facebook:  https://facebook.com/library.dp.ua
Youtube:  https://youtube.com/channel/UCDPLThpYiRMRaNI0O7n_PRw
 +380 (56) 740-37-11 +380 (56) 740-38-75 +380 (56) 377-80-92
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №12
Пензенская область, Пенза городской округ, Пенза, Ленинский район, Райки
Бекешская, 4
Расположение на карте
санитарный день: последний вт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
penzacitylib.ru
 +7 (8412) 48-02-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотечный пункт, ЦБС, филиал №7
Иркутская область, Иркутск городской округ, Иркутск, Ленинский округ, Жилкино
Полярная, 104
Расположение на карте
зимний период: вт-сб 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 (3952) 38-61-02
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Мошковская центральная библиотека
Новосибирская область, Мошковский район, рп. Мошково
Пушкина, 9
Расположение на карте
технический день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 10:00-17:00
libmoshkovo.ru
Вконтакте:  https://vk.com/bib_moshkovo
 +7 (38348) 2-17-28 +7 (38348) 2-15-99
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Пономаревская сельская библиотека
Новосибирская область, Колыванский район, с. Пономарёвка
Береговая, 40а
Расположение на карте
Пн: 11:00-14:00
Вт: 11:00-14:00
Ср: 11:00-14:00
Чт: 11:00-14:00
Пт: 11:00-14:00
Сб: 11:00-14:00
 +7 (38352) 3-02-09
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Усть-Качкинская сельская библиотека
Пермский край, Пермский район, с. Усть-Качка
Победы, 12
Расположение на карте
санитарный день: последний рабочий день месяца; зимний период: пн-сб 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 (342) 295-29-97
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. П. Комарова
Хабаровский край, Хабаровск городской округ, Хабаровск, Индустриальный район
Монтажная, 13
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
hab-csmb.ru
Вконтакте:  https://vk.com/biblio_hab
 +7 (4212) 50-81-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Пчегатлукайская сельская библиотека
Республика Адыгея, Теучежский район, аул Пчегатлукай
Ленина, 38
Расположение на карте
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-14:00
 +7-918-271-31-43
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Теучежская межпоселенческая централизованная библиотечная система
Республика Адыгея, Теучежский район, аул Понежукай
Октябрьская, 34
Расположение на карте
Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-17:00
Сб: 08:00-16:00
Информация от пользователей
Азат Нагирян
ЛОГИКА и семантическое программирование : Сб. ст.. В данной книге описывается
Прикрепить файл
Книга находятся в категориях.