Книга: Формальные системы (Е. В. Зайцева); МИСиС
299
Издатель: МИСиС
ISBN: 978-5-907226-02-9
EAN: 9785907226029
Книги: Учебная литература
ID: 5917458
Добавлено: 30.04.2020
Описание
Учебное пособие предназначено для изучения формальных систем. Приведены основные понятия, относящиеся к семантике формализованных логико-математических языков. Изложены классическая логика исчисления высказываний и предикатов, показаны основы моделей и алгоритмов их практического использования при решении логических задач. Учебное пособие предназначено для обучающихся в бакалавриате по направлению подготовки «Информатика и вычислительная техника».
Смотри также о книге.
СкидкаГИД инфо +
Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Формальные системы (Е. В. Зайцева); МИСиС»
По данным нашего сервиса товар предлагался к продаже в 1 магазине. На сегодняшний день доступен в 1 магазине: ЛитРес. По цене от 299 р. до 299 р. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.
Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: ЛитРес. А информация о промокодах доступна рядом с ценой от магазина и постоянно обновляется.
Чтобы сделать правильный выбор у нас есть подборка видео обзоров.
О книге
| Параметр | Значение |
|---|---|
| ISBN | 978-5-907226-02-9 |
| Автор(ы) | Е. В. Зайцева |
| Издатель | МИСиС |
| Форматы электронной версии |
Видео обзоры
Лекция 7: Формальные системы. Свойства, интерпретация, моделирование
МНОГОПОЛЯРНОСТЬ Формальные системы Ч 1
Математика. Лекция 4. Кодирование. Алгоритмы и формальные системы
Лекция 8: Формальные грамматики
МНОГОПОЛЯРНОСТЬ Формальные системы Ч 2
Где купить (1)
Цена от 299 руб до 299 руб в 1 магазине
сообщить о снижении цены| Магазин | Цена | Наличие |
|---|---|---|
| ЛитРес 5/5 | обновлено 24.05.2026 | |
| Яндекс.Маркет 5/5 | Промокоды на скидку | |
Кэшбэк сервис СкидкаГИД
На сегодняшний день товар «Книга: Формальные системы (Е. В. Зайцева); МИСиС» можно купить с кешбеком в 1 магазине: ЛитРес
Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.
Заказывайте он-лайн и получайте часть денег обратно, подробнее..
