top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Algebra di Boole ed applicazioni / R. Righi
Algebra di Boole ed applicazioni / R. Righi
Autore Righi, R.
Pubbl/distr/stampa Roma : Edizioni Scientifiche Siderea, 1967-70
Descrizione fisica 2 v. ; 24 cm.
Soggetto topico Algebra, boolean
Classificazione 510.02
510.04
510.06
511.3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991000803979707536
Righi, R.  
Roma : Edizioni Scientifiche Siderea, 1967-70
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
A first course in mathematical logic and set theory / / Michael L. O'Leary
A first course in mathematical logic and set theory / / Michael L. O'Leary
Autore O'Leary Michael L.
Pubbl/distr/stampa Hoboken, New Jersey : , : Wiley, , 2016
Descrizione fisica 1 online resource (606 pages) : illustrations
Disciplina 511.3
Soggetto topico Logic, Symbolic and mathematical
Mathematics
Set theory
ISBN 1-118-54791-8
1-118-54801-9
Classificazione 410.9
511.3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910795976003321
O'Leary Michael L.  
Hoboken, New Jersey : , : Wiley, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
A first course in mathematical logic and set theory / / Michael L. O'Leary
A first course in mathematical logic and set theory / / Michael L. O'Leary
Autore O'Leary Michael L.
Pubbl/distr/stampa Hoboken, New Jersey : , : Wiley, , 2016
Descrizione fisica 1 online resource (606 pages) : illustrations
Disciplina 511.3
Soggetto topico Logic, Symbolic and mathematical
Mathematics
Set theory
ISBN 1-118-54791-8
1-118-54801-9
Classificazione 410.9
511.3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910819765303321
O'Leary Michael L.  
Hoboken, New Jersey : , : Wiley, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Fondamenti della matematica / W. Hatcher ; trad. di M.L. Dalla Chiara
Fondamenti della matematica / W. Hatcher ; trad. di M.L. Dalla Chiara
Autore Hatcher, W.
Pubbl/distr/stampa Torino : Boringhieri, 1973
Descrizione fisica 454 p. ; 21 cm.
Altri autori (Persone) Dalla Chiara, Maria Luisa
Soggetto topico Logica matematica
Classificazione 510.02
511.3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991000954639707536
Hatcher, W.  
Torino : Boringhieri, 1973
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Indagine sulle leggi del pensiero : su cui sono fondate le teorie matematiche della logica e delle probabilità / George Boole ; trad. it. di Mario Trinchero
Indagine sulle leggi del pensiero : su cui sono fondate le teorie matematiche della logica e delle probabilità / George Boole ; trad. it. di Mario Trinchero
Autore Boole, George
Pubbl/distr/stampa Torino : Einaudi, 1976
Descrizione fisica cxxxix, 585 p. ; 18 cm.
Altri autori (Persone) Trinchero, Mario
Collana NUE Nuova serie ; 13
Classificazione 1:5
510.02
511.3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991001001629707536
Boole, George  
Torino : Einaudi, 1976
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Logic and discrete mathematics : a concise introduction / / Willem Conradie, University of Johannesburg, South Africa, Valentin Goranko, Stockholm University, Sweden, Claudette Robinson, University of Johannesburg, South Africa
Logic and discrete mathematics : a concise introduction / / Willem Conradie, University of Johannesburg, South Africa, Valentin Goranko, Stockholm University, Sweden, Claudette Robinson, University of Johannesburg, South Africa
Autore Conradie Willem <1978->
Pubbl/distr/stampa Chichester, West Sussex ; ; Hoboken, New Jersey : , : John Wiley & Sons Inc., , 2015
Descrizione fisica 1 online resource (196 pages)
Disciplina 511.3
Collana Solutions manual
Soggetto topico Computer science - Mathematics
Logic, Symbolic and mathematical
ISBN 1-119-00010-6
1-119-00011-4
Classificazione 410.96
511.3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910796072603321
Conradie Willem <1978->  
Chichester, West Sussex ; ; Hoboken, New Jersey : , : John Wiley & Sons Inc., , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Logic and discrete mathematics : a concise introduction / / Willem Conradie, University of Johannesburg, South Africa, Valentin Goranko, Stockholm University, Sweden, Claudette Robinson, University of Johannesburg, South Africa
Logic and discrete mathematics : a concise introduction / / Willem Conradie, University of Johannesburg, South Africa, Valentin Goranko, Stockholm University, Sweden, Claudette Robinson, University of Johannesburg, South Africa
Autore Conradie Willem <1978->
Pubbl/distr/stampa Chichester, West Sussex ; ; Hoboken, New Jersey : , : John Wiley & Sons Inc., , 2015
Descrizione fisica 1 online resource (196 pages)
Disciplina 511.3
Collana Solutions manual
Soggetto topico Computer science - Mathematics
Logic, Symbolic and mathematical
ISBN 1-119-00010-6
1-119-00011-4
Classificazione 410.96
511.3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-9910820179303321
Conradie Willem <1978->  
Chichester, West Sussex ; ; Hoboken, New Jersey : , : John Wiley & Sons Inc., , 2015
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Logic as a tool : a guide to formal logical reasoning / / Valentin Goranko
Logic as a tool : a guide to formal logical reasoning / / Valentin Goranko
Autore Goranko Valentin
Edizione [1st edition]
Pubbl/distr/stampa Chichester, West Sussex, England : , : Wiley, , 2016
Descrizione fisica 1 online resource (383 pages) : illustrations, tables
Disciplina 511.3
Collana New York Academy of Sciences
Soggetto topico Logic
ISBN 1-118-88004-8
1-118-88005-6
Classificazione 116
410.96
511.3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises.
Record Nr. UNINA-9910798779003321
Goranko Valentin  
Chichester, West Sussex, England : , : Wiley, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Logic as a tool : a guide to formal logical reasoning / / Valentin Goranko
Logic as a tool : a guide to formal logical reasoning / / Valentin Goranko
Autore Goranko Valentin
Edizione [1st edition]
Pubbl/distr/stampa Chichester, West Sussex, England : , : Wiley, , 2016
Descrizione fisica 1 online resource (383 pages) : illustrations, tables
Disciplina 511.3
Collana New York Academy of Sciences
Soggetto topico Logic
ISBN 1-118-88004-8
1-118-88005-6
Classificazione 116
410.96
511.3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Understanding propositional logic -- Deductive reasoning in propositional logic -- Understanding first-order logic -- Deductive reasoning in first-order logic -- Applications : mathematical proofs and automated reasoning -- Answers and solutions to selected exercises.
Record Nr. UNINA-9910822988603321
Goranko Valentin  
Chichester, West Sussex, England : , : Wiley, , 2016
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
土質力学 [[ドシツリキガク]]
土質力学 [[ドシツリキガク]]
Autore 河上房義　森芳信　柳沢栄司
Edizione [第8版]
Pubbl/distr/stampa 東京, : 森北出版, 2012.9
Descrizione fisica オンライン資料1件
Soggetto topico 土質力学
ISBN 4-627-30621-0
Classificazione 511.3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione jpn
Nota di contenuto 紙 -- 第8版の序 -- 第7版の序 -- 目次 -- 第1章　序 -- 1.1　土 力学の目的 -- 1.2　地盤工学への展 -- 第2章　土の基本的性 -- 2.1　土の工学的定義 -- 2.2　土の生成 -- 2.3　粘土 物 -- 2.4　土粒子の形と構 -- 2.5　土の粒度 -- 2.6　土の粒度 -- 2.7　土粒子の密度 -- 2.8　土の密度と -- 2.9　土の含水 -- 問 -- 第3章　土の分 -- 3.1　地盤材料の判別と分 -- 3.2　コンシステンシー 界 -- 3.3　土の粒度組成による分 -- 3.4　地盤材料の工学的分 -- 問 -- 第4章　 水と排水 -- 4.1　土中の水分 -- 4.2　 水 -- 4.3　流線網 -- 4.4　 水係数の測定 -- 4.5　クイックサンド現 とボイリング,パイピング -- 4.6　排水 -- 4.7　 液注入と地下 続壁 -- 4.8　地下水汚染と土壌汚染 -- 問 -- 第5章　弾性地盤内の応力分布 -- 5.1　 条件 -- 5.2　半無 弾性地盤上の 直 中 による地盤内応力 -- 5.3　半無 弾性地盤上にある 直線 による応力 -- 5.4　半無 弾性地盤上にある帯状 による応力 -- 5.5　 方形に分布した による応力 -- 5.6　 分散法による地盤内応力の 似 -- 5.7　構 物基礎の接地圧 -- 問 -- 第6章　圧密 -- 6.1　土の圧縮と圧密 -- 6.2　テルツァギの1次元圧密理 -- 6.3　圧密 -- 6.4　基礎地盤の圧密沈下の算定 -- 6.5　先 圧密 -- 6.6　2次圧密 -- 6.7　サンドパイルによる圧密促 -- 問 -- 第7章　土のせん断強さ -- 7.1　せん断強さの概念 -- 7.2　モールの応力円 -- 7.3　せん断 の種 -- 7.4　砂 土のせん断特性 -- 7.5　粘性土のせん断特性 -- 7.6　圧密による土の強度の増加 -- 問 -- 第8章　土圧 -- 8.1　構 物に作用する土圧 -- 8.2　ランキンの土圧公式 -- 8.3　クーロンの土圧公式 -- 8.4　 め土上に のある場合の土圧 -- 8.5　 くさび法 -- 8.6　 止土圧 -- 8.7　地 時土圧 -- 8.8　山留め壁 -- 8.9　地中構 物に作用する土圧 -- 問 -- 第9章　斜 (のり)の安定 -- 9.1　斜 の崩壊 -- 9.2　斜 の安定 算 -- 9.3　堤 ・アースダムなどの安定 -- 9.4　地すべり -- 問 -- 第10章　浅い基礎の支持力 -- 10.1　基礎の種 と条件 -- 10.2　基礎地盤の支持力 -- 10.3　支持力理 -- 10.4　基礎の沈下 -- 問 -- 第11章　深い基礎の支持力 -- 11.1　総 -- 11.2　杭基礎 -- 11.3　ケーソン基礎 -- 問 -- 第12章　土の締固め -- 12.1　締固めの目的・機構とその 方法 -- 12.2　締め固めた土の性 -- 12.3　土 による締固めの効果 -- 12.4　盛土の品 管理 -- 問 -- 第13章　 盤・ 床 -- 13.1　 盤・ 床の支持力 -- 13.2　 盤などの安定処理 -- 13.3　 厚の -- 問 -- 第14章　土の凍害 -- 14.1　総 -- 14.2　凍上 -- 14.3　 期における土の 弱化現 -- 14.4　凍結深さと凍結理 -- 問 -- 第15章　土 査 -- 15.1　土 査の目的と方法 -- 15.2　 料の採取(サンプリング) -- 15.3　現位置 (サウンディング) -- 15.4　地盤の液状化と土 査 -- 章末問 の 答 -- 索引 -- 奥付.
Record Nr. UNINA-9910158676603321
河上房義　森芳信　柳沢栄司  
東京, : 森北出版, 2012.9
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui