Notazione polacca

Abbozzo matematica
Questa voce sull'argomento matematica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.

La notazione polacca è una particolare sintassi atta a denotare formule matematiche e algoritmi, caratterizzata dal fatto che gli operatori si trovano tutti a sinistra degli argomenti. Per questo motivo, viene anche detta notazione prefissa. Se l'interprete conosce in anticipo l'arietà di ogni operatore, la notazione polacca permette di descrivere univocamente qualsiasi formula o algoritmo senza utilizzare parentesi o altri elementi sintattici di separazione.

Deve il suo nome a Łukasiewicz, che la utilizzò per la prima volta intorno all'anno 1920 per semplificare il calcolo proposizionale; egli stesso ha dichiarato:

«I came upon the idea of a parenthesis-free notation in 1924. I used that notation for the first time in my article»

(Łukasiewicz, p. 610[1].)

«L'idea di una notazione priva di parentesi mi venne nel 1924. Usai per la prima volta quella notazione nel mio articolo»

(Łukasiewicz, p. 610[1])

Sebbene non sia più di moda nell'ambito della logica, ha con il tempo acquisito una certa importanza in informatica. È parente stretta della più nota notazione polacca inversa (o notazione postfissa) che funziona in modo speculare (gli operatori si scrivono a destra, gli argomenti a sinistra).

Esempi

La formula in notazione infissa (standard):

2 + (3 × 4),

se trascritta in notazione polacca diventa:

+ 2 (× 3 4)

o più semplicemente:

+ 2 × 3 4

La notazione non è equivoca, dato che sappiamo che l'operatore "×" prenderà come argomenti i primi due argomenti disponibili (3 e 4), e restituirà un altro valore; similmente, "+" prenderà due argomenti: il risultato dell'operazione precedente è 14.

Supponendo ora di avere un operatore "mod" che presi due parametri interi e restituisca il resto della divisione intera ed un operatore "=" che dati due parametri e restituisca Vero se hanno lo stesso valore e Falso altrimenti, l'espressione in notazione polacca

= mod n 3 0

restituisce Vero se e solo se il numero n è multiplo di 3.

Note

  1. ^ a b Jan Łukasiewicz, "Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls", Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, 23:51-77 (1930). Tradotto da H. Weber come "Philosophical Remarks on Many-Valued Systems of Propositional Logics", in Storrs McCall, Polish Logic 1920-1939. Clarendon Press, Oxford, 1967.

Voci correlate

Altri progetti

Collegamenti esterni

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

Read other articles:

Guo Wengui

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada November 2020. Ini adalah nama Tionghoa; marganya adalah Guo. Guo WenguiGuo Wengui pada 2017Lahir10 Mei 1970 (umur 53) or 05 Oktober 1968 (umur 55)Kabupaten Shen, Shandong, TiongkokKebangsaanUni Emirat Arab (swa-klaim)[1]Republik Rakyat TiongkokPek...

 

 

Partito Socialista Unificato di Germania

Partito Socialista Unificato di Germania(DE) Sozialistische Einheitspartei Deutschlands LeaderWilhelm Pieck e Otto Grotewohl (1946-1950)Walter Ulbricht (1950-1971)Erich Honecker (1971-1989)Egon Krenz (1989)Gregor Gysi (1989) Stato Germania Est SedeBerlino Est AbbreviazioneSED Fondazione22 aprile 1946 Dissoluzione16 dicembre 1989 Confluito in Partito del Socialismo Democratico (maggioranza) Partito Comunista di Germania (minoranza) IdeologiaComunismoMarxismo-leninismoInternazion...

 

 

Trzebiel

Questa voce sull'argomento centri abitati del Lubusz è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Trzebielcomune LocalizzazioneStato Polonia Voivodato Lubusz Distretto Żary AmministrazioneSindacoEugeniusz Olejniczak TerritorioCoordinate51°38′09″N 14°48′59″E / 51.635833°N 14.816389°E51.635833; 14.816389 (Trzebiel)Coordinate: 51°38′09″N 14°48′59″E / 51.635833°N 14.816389°E51.635...

Namangan

Namangan Namangan/НаманганCityNamanganLocation in UzbekistanKoordinat: 41°00′04″N 71°40′06″E / 41.00111°N 71.66833°E / 41.00111; 71.66833Koordinat: 41°00′04″N 71°40′06″E / 41.00111°N 71.66833°E / 41.00111; 71.66833Negara UzbekistanRegionRegion NamanganBerdiri1610Luas • Total145 km2 (56 sq mi)Ketinggian450 m (1,480 ft)Populasi (1 Januari 2019) • Total484.921[...

 

 

Lake Musselshell

Glacial lake (former) in Phillips and Garfield Counties, MontanaLake MusselshellMap of Montana showing Lake Musselshell.Lake MusselshellLocationPetroleum, Phillips and Garfield Counties, MontanaCoordinates47°22′29″N 107°56′35″W / 47.374722°N 107.943056°W / 47.374722; -107.943056Lake typeGlacial lake (former)Primary inflowsLaurentide Ice SheetPrimary outflowsOver the divide to the Yellowstone River or along the face of the Ice sheet.Basin countriesUnite...

 

 

Meihuaquan

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Meihuaquan – news · newspapers · books · scholar · JSTOR (September 2015) (Learn how and when to remove thi...

قائمة مدن رومانيا

جزء من سلسلة مقالات سياسة ألبانيارومانيا الدستور الدستور حقوق الإنسان السلطة التنفيذية الرئيس مجلس الوزراء السلطة التشريعية البرلمان السلطة القضائية القضاء الانتخابات الانتخابات الأحزاب السياسية التقسيم الاداري الوحدات الإقليمية أقاليم مدن السياسة الخارجية العلاقات...

 

 

العلاقات اللاتفية المالية

العلاقات اللاتفية المالية لاتفيا مالي   لاتفيا   مالي تعديل مصدري - تعديل   العلاقات اللاتفية المالية هي العلاقات الثنائية التي تجمع بين لاتفيا ومالي.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: وجه المقارنة لاتفيا مالي �...

 

 

The Miracle of the Loaves and Fishes (Murillo, Seville)

Oil painting The Miracle of the Loaves and Fishes (c. 1667–1682) a work study from the National galleries of Scotland for the original painting in Seville The Miracle of the Loaves and Fishes is a 1669–1670 or 1670–1674 oil on canvas painting by Bartolomé Esteban Murillo, still in the Hospital de la Caridad in Seville for which it was originally painted,[1] though an earlier study for it now hangs in Edinburgh. It was restored in 2018.[2] References ^ Isabelle Kent, 'It...

City of Redcliffe

Local government area in Queensland, AustraliaCity of RedcliffeQueenslandMap of Redcliffe City in South East QueenslandPopulation51,174 (2006 census)[1] • Density1,343.1/km2 (3,479/sq mi)Established1824Postcode(s)4019, 4020, 4021, 4022Area38.1 km2 (14.7 sq mi)MayorCr Allan SutherlandLocation23 km (14 mi) from Brisbane CBDState electorate(s)Redcliffe, MurrumbaFederal division(s)PetrieWebsiteCity of Redcliffe LGAs around City of Redcliffe:...

 

 

Molly (1999 film)

1999 American filmMollyTheatrical release posterDirected byJohn DuiganWritten byDick ChristieProduced byWilliam J. MacDonaldStarring Elisabeth Shue Aaron Eckhart Jill Hennessy D. W. Moffett CinematographyGabriel BeristainEdited byHumphrey DixonMusic byTrevor JonesProductioncompanyMetro-Goldwyn-MayerDistributed byMGM Distribution Co.Release date October 22, 1999 (1999-10-22) (United States) Running time102 minutesCountryUnited StatesLanguageEnglishBudget$21 millionBox office...

 

 

Chevrolet 400

Motor vehicle Chevrolet 400OverviewManufacturerGeneral Motors de ArgentinaProduction1962–1974 [1]AssemblySan Martín, Buenos Aires, ArgentinaBody and chassisClassExecutive carBody style4-door sedanLayoutFront engine, rear-wheel driveRelatedChevrolet Nova Chevrolet Chevy II / NovaChronologySuccessorChevrolet Chevy Malibu The Chevrolet 400 was a compact car made by General Motors de Argentina from 1962 to 1974.[1] The 400 was General Motors's reply to Ford and Chrysler af...

سلمان بن سعود بن عبد العزيز آل سعود

سلمان بن سعود بن عبد العزيز آل سعود معلومات شخصية الميلاد 1953 (العمر 71 سنة)الرياض مواطنة السعودية  الأب سعود بن عبد العزيز آل سعود  عائلة آل سعود  الحياة العملية المدرسة الأم جامعة الملك سعود  المهنة موظف مدني  اللغة الأم العربية  اللغات العربية  تعديل مصدر�...

 

 

Berghahn Books

New York-based academic publisher Berghahn redirects here. For German politician, see Jürgen Berghahn. Berghahn BooksFounded1994FounderMarion BerghahnCountry of originUnited StatesHeadquarters locationNew York CityDistributionTurpin Distribution (United Kingdom, Republic of Ireland, South Africa, India)Ingram Academic (United States, Australia, New Zealand)[1]Publication typesBooks, Academic journalsOfficial websitewww.berghahnbooks.com Berghahn Books is a New York and Oxford–based...

 

 

أرنايا

أرنايا    خريطة الموقع تقسيم إداري البلد اليونان[1]  [2] خصائص جغرافية إحداثيات 40°29′12″N 23°35′41″E / 40.48666667°N 23.59472222°E / 40.48666667; 23.59472222   الارتفاع 600 متر  السكان التعداد السكاني 2159 (resident population of Greece) (2021)2144 (resident population of Greece) (2001)2199 (resident population of Greece) (199...

Fansub

Practice of fans adding translation subtitles to media that has none Example of karaoke typical in anime fansubs Part of a series onTranslation Types Legal Literary Bible Quran Kural Linguistic validation Medical Regulatory Technical Interpretation Cultural Word-for-word Sense-for-sense Homophonic Theory Translation studies Skopos theory Translation project Translation criticism Dynamic and formal equivalence Contrastive linguistics Polysystem theory Technologies CAT Machine translation Mobil...

 

 

Karanganom, Klaten

KaranganomKecamatanPeta lokasi Kecamatan KaranganomNegara IndonesiaProvinsiJawa TengahKabupatenKlatenPemerintahan • CamatSlamet Samodra Karyadi,M.M.Populasi • Total40,554 jiwaKode Kemendagri33.10.18 Kode BPS3310200 Luas24,06 km²Desa/kelurahan19 Karanganom (bahasa Jawa: ꦏꦫꦔꦤꦺꦴꦩ꧀, translit. Karanganom) adalah sebuah kecamatan di Kabupaten Klaten, Jawa Tengah. Batas Wilayah Utara Kecamatan Tulung danKecamatan Polanharjo Timur laut Kecamatan ...

 

 

Campionato nazionale juniores - Torneo Dante Berretti 1995-1996

Campionato Nazionale Dante Berretti 1995-1996 Competizione Campionato nazionale Dante Berretti Sport Calcio Edizione 30ª Organizzatore Lega Italiana Calcio Professionistico Luogo  Italia Partecipanti 94 Risultati Vincitore  Avellino (Serie A-B) Lodigiani (Serie C1-C2) Cronologia della competizione 1994-95 1996-97 Manuale Il Dante Berretti 1995-1996 è stato la 30ª edizione del campionato nazionale Dante Berretti ed il primo con la vittoria valida tre punti. I detentori del t...

Tomás Luis de Victoria

Tomás Luis de Victoria Tomás Luis de Victoria adalah seorang komponis musik gereja terkemuka dari Spanyol.[1] Victoria dilahirkan di Kota Sanchidrián pada tahun 1548.[1][2] Victoria mendapat pendidikan musik yang pertama saat ia ikut bernyayi dalam kelompok koor Katedral Avila.[1] Pada tahun 1569 sampai 1574, Victoria dikirim ke ''Collegio Germanico'' dan bertugas sebagai penyanyi dan pemain organ di Gereja Santa Maria di Monserrato.[1] Ia mempelajar...

 

 

Patrick Bühlmann

Questa voce sugli argomenti allenatori di calcio svizzeri e calciatori svizzeri è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti dei progetti di riferimento 1, 2. Patrick BühlmannNazionalità Svizzera Altezza184 cm Peso80 kg Calcio RuoloAllenatore (ex centrocampista) Termine carriera2009 - calciatore CarrieraGiovanili 1982-1990 Lucerna Squadre di club1 1990-1991 Lucerna0 (0)1991-1993 Zugo? (?)1993-1994 Luc...