Wielowartościowość w logikach modalnych i w lingwistyce formalnej

Szymon Frankowski

Wielowartościowe logiki modalne (zaproponowane m.in. przez Morgana, Fittinga, Ostermana) znajdują zastosowanie zarówno w Computer Science, jak i teoriach ekonomicznych. Jednocześnie można zaobserwować ekspansję wielowartościowości w obrębie lingwistyki formalnej, szczególnie w dziedzinie systemów rozmytych. Wielowartościowość w logikach modalnych i w lingwistyce formalnej poświęcona jest obu tym problematykom. Zaprezentowano syntaktyczny i semantyczny opis skończenie wartościowej logiki Łukasiewicza, jak i bardziej ogólną charakterystykę struktur opartych o dowolne kraty (w szczególności algebry Heytinga). W jednym z rozdziałów ujęto aksjomatyzację wielowartościowej logiki multimodalnej PDL (propositional dynamic logic). W ostatnim rozdziale została przedstawiona charakterystyka wielowartościowych automatów i gramatyk probabilistycznych. 

Ciasta domowe

Marta Szydłowska

Ciasto na deser i podwieczorek, a zwłaszcza na niedzielę, to w polskiej kuchni tradycja. Żyjemy w czasach, w których większość pieczywa, a w ślad za nim także ciast produkowana jest taśmowo w nowoczesnych piekarniach, przez zaprogramowane roboty. Ale deser, to nie tylko słodkie danie podawane na koniec posiłku, to przecież jest i powinna być przyjemna chwila. Nic nie zastąpi aromatu i smaku ciast przygotowanych w domu ze świeżych, najwyższej jakości składników. Prezentowana książka zawiera sprawdzone przepisy na wyśmienite ciasta oraz wiele cennych porad, które sprawią, że nasze wypieki staną się powodem do dumy.

Świt ebooków nr 4

Praca zbiorowa

Pierwszy polski e-magazyn o e-książkach, e-pisarzach, e-czytelnictwie, self-publishingu. Proponujemy: wywiady, felietony, recenzje, opinie, analizy rynku, opowiadania. Zapraszamy i zachęcamy do współpracy: recenzentów, autorów, wydawców, dystrybutorów Jak zwykle z dumą prezentujemy kolejny numer Świtu ebooków. Już czwarty. Numer poświęcony zjawisku i zagadnieniom związanym z polskim self-publishingiem. Zapraszamy. Przy czwartym numerze zima 2013/2014 współpracowali: Alison, Awiola, Agnieszka Bukowczan-Rzeszut, Chani, Agnieszka Chojnowska, Ciernik, Robert Drózd, Aneta Gonera, Anna Kańtoch, Radek Lewandowski, Honorata Nowacka, Dorota Ostrowska, Paideia, Robert Plesowicz, P.M.V., Pokrzywnica, Maciej Różalski, Marcin Rusnak, Aneta Rzepka, Sardegna, Aleksander Sowa, Wojciech Walicki, Wiktor Werner, Margaret Willins, Marta Żołnierowicz, Ewa Żyźniewska. 

C# 8.0. Leksykon kieszonkowy

Joseph Albahari, Ben Albahari

C# to obiektowy język programowania ogólnego przeznaczenia z kontrolą typów. Jest dojrzały, wyjątkowo wszechstronny i prosty w stosowaniu, dzięki czemu stał się ulubionym językiem profesjonalistów. Jego twórcy chcieli przede wszystkim zapewnić programistom jak największą efektywność, co znalazło odzwierciedlenie w prostocie języka, ekspresywności kodu i wydajności działania. Wersja C# 8.0 została dostosowana do współpracy ze środowiskiem uruchomieniowym Microsoft .NET Core 3 oraz z .NET Standard 2.1. Ta książka jest zwięzłym kompendium, w którym znajdziesz wszystko, co jest potrzebne do pracy z C#, podane w formie poręcznej ściągi. Została pomyślana w taki sposób, aby maksymalnie ułatwić przeglądanie i odnajdywanie potrzebnych treści - by wesprzeć pracę każdego, komu zależy na sprawnym wdrożeniu najnowszej wersji języka C#. Jest też nieocenioną pomocą dla osób, które znają już inne języki programowania, takie jak C++ czy Java, i postanowiły nabrać wprawy w pracy z C#. Poszczególne zagadnienia przedstawiono w przejrzysty, treściwy i równocześnie esencjonalny sposób, koncentrując się na najważniejszych sprawach. To pozycja, która powinna znajdować się tuż obok klawiatury każdego programisty C#! W tej książce: podstawy języka z uwzględnieniem nowych cech C# w wersji 8.0 zagadnienia zaawansowane, w tym przeciążanie operatorów, typy z wartością pustą, wyrażenia lambda i domknięcia LINQ: sekwencje, leniwe wykonanie, standardowe operatory zapytań kod nienadzorowany i wskaźniki atrybuty, dyrektywy preprocesora i generowanie dokumentacji HTML C#. Nie czekaj, programuj!

Jak taniej ogrzać dom, wyd. 1 / 2005

Wojciech Oszczak

Ogrzanie domu z wykorzystaniem konwencjonalnych, powszechnie stosowanych źródeł energii, jak olej opałowy, gaz ziemny, mieszanina gazów propan-butan, czy węgiel, stało się operacją na tyle kosztowną, że wielu posiadaczy nieruchomości rezygnuje zimą z utrzymania temperatury zapewniającej komfort bądź poszukuje alternatywnego, tańszego sposobu ogrzewania. Okazuje się, że ciepło można czerpać np. ze stawu, z gruntu przyległego do budynku lub z otaczającego powietrza. Takie ciepło nic nie kosztuje, kosztuje za to instalacja służąca do jego pobierania i rozprowadzania. Niniejszemu zagadnieniu poświęcona jest ta właśnie książka, przystępnie napisana i bogato zilustrowana. Czytelnik o pewnym poziomie wiedzy technicznej będzie mógł na jej podstawie pokusić się o samodzielne wykonanie i uruchomienie pompy ciepła oraz prostej instalacji wykorzystującej energię odnawialną. 

Francuski teatr społeczny na przełomie XIX i XX wieku. Antologia przekładów. Twarze i maski kultury mieszczańskiej

Tomasz Kaczmarek

Prezentowana publikacja to antologia przekładów dramatów francuskich z przełomu XIX i XX w., z nurtu tzw. teatru społecznego. Zawiera pierwsze polskie tłumaczenia tych, nieznanych rodzimemu Czytelnikowi, tekstów. Towarzyszy im esej wstępny redaktora tomu prezentujący rzadko podejmowane we współczesnej humanistyce zagadnienie teatru społecznego i przybliżający spolszczone dramaty. Książka stanowi kontynuację wcześniejszych antologii sztuk politycznie zaangażowanych: Anarchia i francuski teatr sprzeciwu społecznego 1880-1914 (2014) oraz Farsy i moralitety Octave’a Mirbeau (2015).

Ethereum Cookbook. Over 100 recipes covering Ethereum-based tokens, games, wallets, smart contracts, protocols, and Dapps

Manoj P R

Ethereum and Blockchain will change the way software is built for business transactions. Most industries have been looking to leverage these new technologies to gain efficiencies and create new business models and opportunities.The Ethereum Cookbook covers various solutions such as setting up Ethereum, writing smart contracts, and creating tokens, among others. You’ll learn about the security vulnerabilities, along with other protocols of Ethereum.Once you have understood the basics, you’ll move on to exploring various design decisions and tips to make your application scalable and secure. In addition to this, you’ll work with various Ethereum packages such as Truffle, Web3, and Ganache.By the end of this book, you’ll have comprehensively grasped the Ethereum principles and ecosystem.

Siłaczka

Stefan Żeromski

Stanisława Bozowska bohaterka utworu Siłaczka to młoda kobieta, która marzyła o studiach medycznych. Trudne warunki materialne zmusiły ją jednak do rezygnacji z marzeń o nauce. Poświęciła się realizowaniu hasła pracy u podstaw wśród ludu. Została działaczką oświatową. Poświęciła się służbie społecznej, wobec której wszystko inne stało się niezmiernie małe i nieważne.